gdbserver: fix killed-outside.exp
This page took 0.043475 seconds and 3 git commands to generate.