aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-12-09 17:40:44 +1100
committerBen Elliston <bje@gnu.org>2018-12-09 17:40:44 +1100
commit115a81dab7063ea3b806bfbac87845e32d8ca5ad (patch)
treeac23a4615d729f08dffe3f139c2ba51c8951477c
parent1ebfbcd81f3e1918cc96e3654f9120ea7458b1f6 (diff)
downloaddejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.zip
dejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.tar.gz
dejagnu-115a81dab7063ea3b806bfbac87845e32d8ca5ad.tar.bz2
Remove commented out lines in host_execute.
-rw-r--r--lib/dejagnu.exp3
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"