From ###@###.### Mon Feb 5 08:35:26 1996
Date: Mon, 5 Feb 1996 17:34:03 +0100 (MET)
From: Simon Leinen <###@###.###>
To: java@java
Subject: JDK 1.0 source: should call $(MAKE) rather than `gnumake'

One of the makefiles supposes that GNU make is installed under the
name `gnumake'. I propose that this be changed so that $(MAKE) is
called instead, because not everybody installs GNU make under that
particular name.

diff -ur build/solaris/java/javac/GNUmakefile build/irix/java/javac/GNUmakefile
--- build/solaris/java/javac/GNUmakefile Thu Jan 18 19:41:11 1996
+++ build/irix/java/javac/GNUmakefile Sun Feb 4 12:45:54 1996
@@ -6,6 +6,6 @@
 
 all optimized debug clean clobber classes ::
        echo ">>>Recursively making "$$i" "$@"..."
- cd ../../sun/javac ; gnumake $@
+ cd ../../sun/javac ; $(MAKE) $@
        echo "<<<Finished Recursively making "$$i" "$@"."
 
--
Simon.