]> Savannah Git Hosting - gnulib.git/commit
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)
commited5f8be830336287357038c17a7b9efa1887a591
tree0e04577d9a0cbe68d0c6ffa7cc6dcc99e5fd5a77
parent974e430fd72722cda11f461ec53db8f556609a19
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.
ChangeLog
top/GNUmakefile