Re: src/Makefile unhelpful

[Ken Brown]

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