From d3ee3287922ef78f2f079cbe08fccb9665e0def3 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Mon, 12 Dec 2005 13:50:13 +0000
Subject: [PATCH] Hack for make libraries

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ef5c5705a..1dfec7744 100755
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 # Master Makefile to compile everything in /usr/src except the system.
 
 MAKE	= exec make -$(MAKEFLAGS)
-GMAKE	= gmake
+GMAKE	= /usr/gnu/bin/gmake
 
 usage:
 	@echo ""