GDB return code and batch mode

[Tom Tromey]

>>>>> "Michel" == Michel METZGER <michel.metzger@st.com> writes:

Michel> According to the documentation, -batch has the following effect: 
Michel> "Exit with status 0 after processing all the command files specified
Michel> with `-x' (and all commands from initialization files, if not
Michel> inhibited with `-n'). Exit with nonzero status if an error occurs in
Michel> executing the gdb commands in the command files."

Michel> Ideas? 

Looks like a bug.

Tom