From: Thomas Veerman <thomas@minix3.org>
Date: Wed, 6 Jun 2012 12:02:46 +0000 (+0000)
Subject: Add gnu directory for gmake
X-Git-Tag: v3.2.1~505
X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/style.css?a=commitdiff_plain;h=a23f4844baca47e75139902b72907f8ce5ce09e2;p=minix.git

Add gnu directory for gmake
---

diff --git a/gnu/dist/fetch.sh b/gnu/dist/fetch.sh
new file mode 100644
index 000000000..9d41b5369
--- /dev/null
+++ b/gnu/dist/fetch.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+# Make sure we're in our directory (i.e., where this shell script is)
+echo $0
+cd `dirname $0`
+
+# Fetch sources if not available
+if [ ! -d gmake ];
+then
+	if [ ! -f make-3.80.tar.bz2 ];
+	then
+		wget  ftp://ftp.gnu.org/gnu/make/make-3.80.tar.bz2
+	fi
+
+	tar -xf make-3.80.tar.bz2 && \
+	mv make-3.80 gmake
+fi
+