]> Savannah Git Hosting - gnulib.git/commitdiff
gnumakefile: say ‘$(MAKE)’ not ‘make’
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 1 Aug 2020 23:19:37 +0000 (16:19 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 1 Aug 2020 23:19:37 +0000 (16:19 -0700)
* top/GNUmakefile (abort-due-to-no-makefile):
Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic.
This change is backported from Autoconf.

ChangeLog
top/GNUmakefile

index 4917f3a1bb39217d9a86796270f7bf1fa14b8b06..544563af287e00a859f95c1284d7b9809a15aea9 100644 (file)
--- 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'.
index bf052693e69f6f208ea1767cca57638fddb41cd7..770923b8574057b380f6a725fca7fc22a29203f3 100644 (file)
@@ -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