]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
Prefer ‘$(MAKE)’ to ‘make’ in Makefiles
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 Jul 2020 22:02:17 +0000 (15:02 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 20 Jul 2020 22:13:34 +0000 (15:13 -0700)
* GNUmakefile (abort-due-to-no-makefile):
* Makefile.am (check-coverage-report):
Prefer ‘$(MAKE)’ to ‘make’ in diagnostics.

GNUmakefile
Makefile.am

index bf052693e69f6f208ea1767cca57638fddb41cd7..770923b8574057b380f6a725fca7fc22a29203f3 100644 (file)
@@ -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
index e53b2685ea82f0266b3d3fb5811baba8fe44a13e..4369a3acf43e380dac394258539043208d6c4aa3 100644 (file)
@@ -147,7 +147,7 @@ check-coverage-run: all
 check-coverage-report:
        @if test ! -d $(PERL_COVERAGE_DB); then \
          echo "No coverage database found in '$(PERL_COVERAGE_DB)'." >&2; \
-         echo "Please run 'make check-coverage' first" >&2; \
+         echo "Please run '$(MAKE) check-coverage' first" >&2; \
          exit 1; \
        fi
        $(PERL_COVER) $(PERL_COVERAGE_DB) $(PERL_COVER_FLAGS)