+# 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"