diff options
| -rw-r--r-- | src/tests/dejagnu/config/default.exp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tests/dejagnu/config/default.exp b/src/tests/dejagnu/config/default.exp index e2695d0b36..8e5d28e220 100644 --- a/src/tests/dejagnu/config/default.exp +++ b/src/tests/dejagnu/config/default.exp @@ -2090,6 +2090,8 @@ proc do_klist_err { testname } { proc do_kdestroy { testname } { global KDESTROY + global spawn_id + spawn $KDESTROY -5 if ![check_exit_status $testname] { fail $testname |