diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 16:19:37 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 16:19:37 -0700 |
commit | ed5f8be830336287357038c17a7b9efa1887a591 (patch) | |
tree | 0e04577d9a0cbe68d0c6ffa7cc6dcc99e5fd5a77 | |
parent | 974e430fd72722cda11f461ec53db8f556609a19 (diff) | |
download | gnulib-ed5f8be830336287357038c17a7b9efa1887a591.tar.gz |
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.
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | top/GNUmakefile | 2 |
2 files changed, 8 insertions, 1 deletions
@@ -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 bf052693e6..770923b857 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 |