diff options
author | Ben Elliston <bje@gnu.org> | 2016-02-16 12:31:08 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-02-16 12:31:08 +1100 |
commit | 537bd47cc8166c2106cdeed7fd9cca361ee3c93f (patch) | |
tree | 85f9320c892dfd6b494cea4b883d49215aae3074 /lib | |
parent | 5462bead2a0ecc6907d7981090f89f4cf39ef2e3 (diff) | |
parent | 30b5d1773d020dbaefe0c029f2f30d09eed6c611 (diff) | |
download | dejagnu-537bd47cc8166c2106cdeed7fd9cca361ee3c93f.zip dejagnu-537bd47cc8166c2106cdeed7fd9cca361ee3c93f.tar.gz dejagnu-537bd47cc8166c2106cdeed7fd9cca361ee3c93f.tar.bz2 |
* runtest.exp: Use the traditional exit codes when runtest is
interrupted. This makes it possible to tell if runtest ran to
completion or not. Suggested by Michael Chastain.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions