# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 766294968 0
# Node ID f2edac55dc7a2bc17fd3c9de4c1a6c845c8bd170
# Parent  0f4c8109274a9223bd09109dd52c0b9e434aa34d
(MAKE): Don't just assign it--use @SET_MAKE@.

diff -r 0f4c8109274a -r f2edac55dc7a Makefile.in
--- 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 ====================