diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2020-07-20 15:02:17 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-07-20 15:13:34 -0700 |
| commit | 14d58bfd58121c31e65ca68fcde3023545f76c1b (patch) | |
| tree | 30f18f77cae3fb4dd6523465fa10d618b375b5ae | |
| parent | d7bd610b4c6b7ab99ff99dd4f70db1b30b4e3f11 (diff) | |
| download | autoconf-14d58bfd58121c31e65ca68fcde3023545f76c1b.tar.gz | |
Prefer ‘$(MAKE)’ to ‘make’ in Makefiles
* GNUmakefile (abort-due-to-no-makefile):
* Makefile.am (check-coverage-report):
Prefer ‘$(MAKE)’ to ‘make’ in diagnostics.
| -rw-r--r-- | GNUmakefile | 2 | ||||
| -rw-r--r-- | Makefile.am | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index bf052693..770923b8 100644 --- a/GNUmakefile +++ b/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 diff --git a/Makefile.am b/Makefile.am index e53b2685..4369a3ac 100644 --- a/Makefile.am +++ b/Makefile.am @@ -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) |