Fix test suite failure in file-then-restart.exp
authorTom Tromey <tromey@adacore.com>
Wed, 11 Oct 2023 16:20:04 +0000 (10:20 -0600)
committerTom Tromey <tromey@adacore.com>
Thu, 12 Oct 2023 13:44:52 +0000 (07:44 -0600)
commit07c833f99c331f9eb77901cdfd143fce5acc8454
tree256ffcf56771a79ccfc5b7239710d82e400979db
parentb8ead7d503a7b3719716d42164299c02abd658cf
Fix test suite failure in file-then-restart.exp

Simon pointed out that the new file-then-restart.exp test fails with
the extended-remote target board.

The problem is that the test suite doesn't use gdb_file_cmd -- which
handles things like "set remote exec-file".  This patch changes
gdb_file_cmd to make the "kill" command optional, and then switches
the test case to use it.

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=30933
Approved-By: Simon Marchi <simon.marchi@efficios.com>
gdb/testsuite/boards/native-extended-gdbserver.exp
gdb/testsuite/gdb.ada/file-then-restart.exp
gdb/testsuite/lib/gdb.exp