From 63e849404349ad2220d5ab4214a220f84b147f1f Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 8 Mar 2006 16:45:55 +0000 Subject: [PATCH] *** empty log message *** --- tools/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/tools/Makefile b/tools/Makefile index 9b2e78d7e..def0d0223 100755 --- a/tools/Makefile +++ b/tools/Makefile @@ -5,7 +5,6 @@ CC= exec cc CFLAGS= -O -D_MINIX -D_POSIX_SOURCE MDEC= /usr/mdec MAKE= exec make -$(MAKEFLAGS) -GMAKE=/usr/gnu/bin/gmake # Specify the programs that are part of the system image. # Multiple boot medium drivers can be included in the image, @@ -46,7 +45,7 @@ usage: # create a fresh configuration or system image fresh: - cd ../lib && $(GMAKE) clean + cd ../lib && make clean $(MAKE) clean $(MAKE) libraries services @@ -77,9 +76,9 @@ services: includes cd ../drivers && $(MAKE) install libraries: includes - cd ../lib && $(GMAKE) clean - cd ../lib && $(GMAKE) all - cd ../lib && $(GMAKE) install + cd ../lib && make clean + cd ../lib && make all + cd ../lib && make install # make bootable and place system images