From: Paul Eggert Date: Sat, 1 Aug 2020 23:19:37 +0000 (-0700) Subject: gnumakefile: say ‘$(MAKE)’ not ‘make’ X-Git-Tag: v1.0~3832 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=ed5f8be830336287357038c17a7b9efa1887a591;p=gnulib.git 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. --- diff --git a/ChangeLog b/ChangeLog index 4917f3a1bb..544563af28 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2020-08-01 Paul Eggert + + 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 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