diff Makefile.in @ 6868:f2edac55dc7a

(MAKE): Don't just assign it--use @SET_MAKE@.
author Richard M. Stallman <rms@gnu.org>
date Thu, 14 Apr 1994 03:42:48 +0000
parents 421a3ab4cb2e
children f3e2a4344ed6
line wrap: on
line diff
--- a/Makefile.in	Thu Apr 14 02:55:13 1994 +0000
+++ b/Makefile.in	Thu Apr 14 03:42:48 1994 +0000
@@ -32,7 +32,9 @@
 #      Still more severe - delete backup and autosave files, too.
 
 SHELL = /bin/sh
-MAKE = make  # BSD doesn't have it as a default.
+
+# If Make doesn't predefine MAKE, set it here.
+@SET_MAKE@
 
 # ==================== Things `configure' Might Edit ====================