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

Eli Zaretskii
2018-08-22T14:37:00Z

> 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.