testsuite: Mark the kill in gdbserver_run as optional
authorAlan Hayward <alan.hayward@arm.com>
Tue, 21 May 2019 09:11:51 +0000 (10:11 +0100)
committerAlan Hayward <alan.hayward@arm.com>
Tue, 21 May 2019 09:42:24 +0000 (10:42 +0100)
commitce3ebcaae382a3f95530d633e6875f97e53ef273
tree84d7b9b57bd9671aeda3c77edb120636b3d3206d
parente2d1595531b62487749e1af680d8f0c48c684feb
testsuite: Mark the kill in gdbserver_run as optional

This matches the kill in gdb_file_cmd, and ensures that the command is not
sent to the gdb.in file.

When gdb.in is used as a batch file, any kill commands run before the target
is started will cause gdb to stop processing commands.

gdb/testsuite/ChangeLog:

* lib/gdbserver-support.exp (gdbserver_run): Mark kill as optional.
gdb/testsuite/ChangeLog
gdb/testsuite/lib/gdbserver-support.exp