diff options
| author | Ben Elliston <bje@gnu.org> | 2018-12-09 17:40:44 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-09 17:40:44 +1100 |
| commit | 115a81dab7063ea3b806bfbac87845e32d8ca5ad (patch) | |
| tree | ac23a4615d729f08dffe3f139c2ba51c8951477c /lib | |
| parent | 1ebfbcd81f3e1918cc96e3654f9120ea7458b1f6 (diff) | |
| download | dejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.zip dejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.tar.gz dejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.tar.bz2 | |
Remove commented out lines in host_execute.
Diffstat (limited to 'lib')
| -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" |