From ed5f8be830336287357038c17a7b9efa1887a591 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 1 Aug 2020 16:19:37 -0700 Subject: =?UTF-8?q?gnumakefile:=20say=20=E2=80=98$(MAKE)=E2=80=99=20not=20?= =?UTF-8?q?=E2=80=98make=E2=80=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * top/GNUmakefile (abort-due-to-no-makefile): Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic. This change is backported from Autoconf. --- top/GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'top') 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 -- cgit v1.2.1