From a23f4844baca47e75139902b72907f8ce5ce09e2 Mon Sep 17 00:00:00 2001
From: Thomas Veerman <thomas@minix3.org>
Date: Wed, 6 Jun 2012 12:02:46 +0000
Subject: [PATCH] Add gnu directory for gmake

---
 gnu/dist/fetch.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 gnu/dist/fetch.sh

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
+
-- 
2.44.0