diff options
Diffstat (limited to 'lib/dejagnu.exp')
| -rwxr-xr-x | lib/dejagnu.exp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dejagnu.exp b/lib/dejagnu.exp index 1224f36..4f79f70 100755 --- a/lib/dejagnu.exp +++ b/lib/dejagnu.exp @@ -177,9 +177,9 @@ proc host_execute {args} { verbose "All done" 2 } eof { -# unresolved "${executable} died prematurely" -# catch close -# return "${executable} died prematurely" + # unresolved "${executable} died prematurely" + # catch close + # return "${executable} died prematurely" } timeout { warning "Timed out executing test case" @@ -187,7 +187,7 @@ proc host_execute {args} { incr timetol exp_continue } else { -- catch close + - catch close return "Timed out executing test case" } } |