[PATCH] gnumakefile: say ‘$(MAKE)’ not ‘make’

[Paul Eggert]

* top/GNUmakefile (abort-due-to-no-makefile):
Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic.
This change is backported from Autoconf.
---
 ChangeLog       | 7 +++++++
 top/GNUmakefile | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 4917f3a1b..544563af2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2020-08-01  Paul Eggert  <eggert@cs.ucla.edu>
+
+       gnumakefile: say ‘$(MAKE)’ not ‘make’
+       * top/GNUmakefile (abort-due-to-no-makefile):
+       Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic.
+       This change is backported from Autoconf.
+
 2020-08-01  Bruno Haible  <bruno@clisp.org>
 
        Prefer documented autoconf macro 'm4_if' over 'ifelse'.
diff --git a/top/GNUmakefile b/top/GNUmakefile
index bf052693e..770923b85 100644
--- a/top/GNUmakefile
+++ b/top/GNUmakefile
@@ -104,7 +104,7 @@ endif
 
 abort-due-to-no-makefile:
        @echo There seems to be no Makefile in this directory.   1>&2
-       @echo "You must run ./configure before running 'make'." 1>&2
+       @echo "You must run ./configure before running '$(MAKE)'." 1>&2
        @exit 1
 
 endif
-- 
2.25.4