fi
fi
-gmake -f mk/main.mk SRCPATH="$srcpath" PLATFORM="$platform" SHELL="$SHELL"
+# What's the name of our GNU tar?
+declare gnutar=""
+if which gnutar >/dev/null 2>&1; then
+ gnutar="gnutar"
+elif which gtar >/dev/null 2>&1; then
+ gnutar="gtar"
+else
+ echo "We need GNU tar to be installed." >&2
+ exit 1
+fi
+
+gmake -f mk/main.mk \
+ SRCPATH="$srcpath" \
+ PLATFORM="$platform" \
+ GNUTAR="$gnutar" \
+ SHELL="$SHELL"
echo "If you are done, run \"$0 clean\" to cleanup the working directory."