Prefer ‘$(MAKE)’ to ‘make’ in Makefiles

* GNUmakefile (abort-due-to-no-makefile): * Makefile.am (check-coverage-report): Prefer ‘$(MAKE)’ to ‘make’ in diagnostics.
federicobattagliero · Jul 20, 2020 · 14d58bf · 14d58bf
1 parent d7bd610
commit 14d58bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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)