Jonathan Walther <krooger@debian.org> writes:
> 2) on systems that have gmake installed, you probably want
> it to be the default MAKE (eg, the *BSD's)
> diff -U2 -r linux.orig/Makefile linux/Makefile
> --- linux.orig/Makefile Sun Mar 19 10:16:36 2000
> +++ linux/Makefile Thu Mar 23 07:02:48 2000
> @@ -34,5 +34,6 @@
> OBJCOPY = $(CROSS_COMPILE)objcopy
> OBJDUMP = $(CROSS_COMPILE)objdump
> -MAKE = make
> +MAKE = $(shell if [ -z `which gmake` ] ; then \
> + echo make; else echo gmake; fi )
> MAKEFILES = $(TOPDIR)/.config
> GENKSYMS = /sbin/genksyms
Well, the patch is slightly more broken than the original Makefile...
That should really be:
diff -U2 -r linux.orig/Makefile linux/Makefile
--- linux.orig/Makefile Sun Mar 19 10:16:36 2000
+++ linux/Makefile Thu Mar 23 07:02:48 2000
@@ -34,5 +34,4 @@
OBJCOPY = $(CROSS_COMPILE)objcopy
OBJDUMP = $(CROSS_COMPILE)objdump
-MAKE = make
MAKEFILES = $(TOPDIR)/.config
GENKSYMS = /sbin/genksyms
as GNU make sets MAKE itself.
//Marcus
-- Signature under construction, please come back later.- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Thu Mar 23 2000 - 21:00:38 EST