diff options
Diffstat (limited to 'top/GNUmakefile')
| -rw-r--r-- | top/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/top/GNUmakefile b/top/GNUmakefile index bf052693e6..770923b857 100644 --- a/top/GNUmakefile +++ b/top/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 |