diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 16:57:01 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 17:53:53 -0700 |
| commit | e54e3f907b024c7fa7fe3af9a5383f4b153e8fba (patch) | |
| tree | ad60f01328d21634429063a2eb8a02724f11b55d /GNUmakefile | |
| parent | e30ed262092b809899bd545bc418719c5e8a384a (diff) | |
| download | autoconf-e54e3f907b024c7fa7fe3af9a5383f4b153e8fba.tar.gz | |
make fetch
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 770923b8..bf052693 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 |