From 2b07601c657a7984b525938d9ed9a379b9aa7a42 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Fri, 21 Oct 2005 20:23:11 +0000
Subject: [PATCH] Tell makefile where to find gmake

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

diff --git a/Makefile b/Makefile
index ef5c5705a..7334a0e11 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 "" 
@@ -38,6 +38,7 @@ includes:
 	cd include && $(MAKE) install gcc
 
 libraries:
+	cd lib && $(GMAKE) all
 	cd lib && $(GMAKE) install
 
 cmds:
-- 
2.44.0