diff options
| -rw-r--r-- | lib/dejagnu.exp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/dejagnu.exp b/lib/dejagnu.exp index 46870f3..8d438f1 100644 --- a/lib/dejagnu.exp +++ b/lib/dejagnu.exp @@ -177,9 +177,6 @@ proc host_execute {args} { verbose "All done" 2 } eof { - # unresolved "${executable} died prematurely" - # catch close - # return "${executable} died prematurely" } timeout { warning "Timed out executing test case" |