changeset 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 0f4c8109274a
children 41479037ffec
files Makefile.in
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
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 ====================