Prefer ‘$(MAKE)’ to ‘make’ in Makefiles
commit14d58bfd58121c31e65ca68fcde3023545f76c1b
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 Jul 2020 22:02:17 +0000 (20 15:02 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 Jul 2020 22:13:34 +0000 (20 15:13 -0700)
tree30f18f77cae3fb4dd6523465fa10d618b375b5ae
parentd7bd610b4c6b7ab99ff99dd4f70db1b30b4e3f11
Prefer ‘$(MAKE)’ to ‘make’ in Makefiles

* GNUmakefile (abort-due-to-no-makefile):
* Makefile.am (check-coverage-report):
Prefer ‘$(MAKE)’ to ‘make’ in diagnostics.
GNUmakefile
Makefile.am