diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | lib/dejagnu.exp | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2014-11-25 Ben Elliston <bje@gnu.org> + + * lib/dejagnu.exp (host_execute): Remove stray leading hyphen. + Reported by David Malcolm. + 2014-10-28 Ben Elliston <bje@gnu.org> * Makefile.in: Regenerate. diff --git a/lib/dejagnu.exp b/lib/dejagnu.exp index 47171d7..b2ffe40 100644 --- a/lib/dejagnu.exp +++ b/lib/dejagnu.exp @@ -188,7 +188,7 @@ proc host_execute {args} { incr timetol exp_continue } else { - - catch close + catch close return "Timed out executing test case" } } |