make variable not set in nightly script

[Donald Bruce Stewart]

Hey,

The $MAKE variable is not used in the new_bootstrap stage 2 and 3
parts of the nightly_wrk script. This causes failures at the
start of stage2 on OpenBSD (and presumably other non-gnu systems)

-- Don

P.S. I would commit it myself, but I don't have a tree on this
machine.

Here is a patch:
------------------------------------------------------------------------

Index: nightly/bin/nightly-wrk
===================================================================
RCS file: /cvs/nightly/bin/nightly-wrk,v
retrieving revision 1.37
diff -u -r1.37 nightly-wrk
--- nightly/bin/nightly-wrk	16 Jul 2003 15:18:15 -0000	1.37
+++ nightly/bin/nightly-wrk	17 Jul 2003 09:40:22 -0000
@@ -354,8 +354,8 @@
 	$ECHO -n "**** Building stage 2 compiler    ... "
 	if [ "$new_bootstrap" = "YES" ]; then
 		(cd $STAGE1_DIR/ghc/compiler &&		\
-		 time make boot stage=2 && 		\
-		 time make all stage=2) 		\
+		 time $MAKE boot stage=2 && 		\
+		 time $MAKE all stage=2) 		\
 			> $LOG_DIR/$arch-stage2 2>&1	\
 		&& stage2_build_ok=YES;
 	else
@@ -397,8 +397,8 @@
 
 	if [ "$new_bootstrap" = "YES" ]; then
 		(cd $STAGE1_DIR/ghc/compiler &&		\
-		 time make boot stage=3 &&		\
-		 time make all stage=3)			\
+		 time $MAKE boot stage=3 &&		\
+		 time $MAKE all stage=3)			\
 			> $LOG_DIR/$arch-stage3 2>&1	\
 		&& stage3_build_ok=YES;
 	else