Consider two files: foo.inc -- source bar.inc -- bar.inc -- INVALIDCOMMAND -- Run the following: ./gdb -ex "source foo.inc" GNU gdb (GDB) 7.6.50.20130520-cvs Copyright (C) 2013 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "--host=x86_64-unknown-linux-gnu --target=arm-eabi". Type "show configuration" for configuration details. For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>. foo.inc:1: Error in sourced command file: COMMAND:1: Error in sourced command file: Undefined command: "INVALIDCOMMAND". Try "help". (gdb) The expected output should be the following: foo.inc:1: Error in sourced command file: bar.inc:1: Error in sourced command file:
Was fixed in this commit: https://sourceware.org/git/?p=binutils-gdb.git;a=commitdiff;h=6caa91b6e58a563be7eeb2844fd2622158d78354