diff options
| -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) |