Re: [PATCH v2] Indicate batch mode failures by exiting with nonzero status

Gary Benson
2018-08-23T08:00:55Z

On 22 August 2018 at 15:36, Eli Zaretskii <eliz@gnu.org> wrote:
> > From: Gary Benson <gbenson@redhat.com>
> > Cc: tom@tromey.com
> > Date: Wed, 22 Aug 2018 11:46:53 +0100
> >
> > diff --git a/gdb/NEWS b/gdb/NEWS
> > index 16d3d72..6af712a 100644
> > --- a/gdb/NEWS
> > +++ b/gdb/NEWS
> > @@ -10,6 +10,9 @@
> > * DWARF index cache: GDB can now automatically save indices of DWARF
> > symbols on disk to speed up further loading of the same binaries.
> >
> > +* GDB in batch mode now exits with status 1 if the last command to be
> > + executed failed.
> > +
>
> This part is OK, thanks.

Thanks Eli.