* top/GNUmakefile (abort-due-to-no-makefile):
Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic.
This change is backported from Autoconf.
+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'.
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