|
From: | Ken Brown |
Subject: | Re: src/Makefile unhelpful |
Date: | Thu, 15 Sep 2022 09:13:52 -0400 |
User-agent: | Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.2.2 |
On 9/15/2022 3:14 AM, Lars Ingebrigtsen wrote:
Gregory Heytings <gregory@heytings.org> writes:Does the following do what you want? diff --git a/Makefile.in b/Makefile.in index d288bacb9d..67f19e7abd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -366,6 +366,12 @@ ELN_DESTDIR = gsettings_SCHEMAS = etc/org.gnu.emacs.defaults.gschema.xml +default: + $(MAKE) all || $(MAKE) signal_error + +signal_error: + @echo -e "\nConsider trying \"make bootstrap\"\n"
Shouldn't you also exit with an error code? Otherwise you break scripts that depend on knowing whether 'make' succeeded.
Ken
[Prev in Thread] | Current Thread | [Next in Thread] |