+GCCFLAGS=
+GDBFLAGS=
+BINUTILFLAGS=
+
+# Fetch a versioned file from a URL
+function fetch {
+ if [ ! -e ${STAMPS}/$1.fetch ]; then
+ echo "Downloading $1 sources..."
+ wget -c --no-passive-ftp $2
+ touch ${STAMPS}/$1.fetch
+ fi
+}
+
+# Log a message out to the console
+function log {
+ echo "******************************************************************"
+ echo "* $*"
+ echo "******************************************************************"
+}
+
+# Unpack an archive
+function unpack {
+ # Use 'auto' mode decompression. Replace with a switch if tar doesn't support -a
+ tar xvaf $1
+}
+