diff options
| author | Ben Elliston <bje@gnu.org> | 2014-10-14 13:22:23 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2014-10-14 13:27:22 +1100 |
| commit | 755053ffe1c4cec9b230f1972bdb6d46822e3fb6 (patch) | |
| tree | 29727185865a28344f889d7c65efbbeb6f51d084 /lib/dejagnu.exp | |
| parent | ee21af3cae2cc92bc10b7e19f04b31f785ce04bd (diff) | |
* lib/dejagnu.exp (host_execute): Remove buffer_full check. This is not
the right command keyword -- it is full_buffer. Reported by David
Malcolm <dmalcolm@redhat.com>.
Diffstat (limited to 'lib/dejagnu.exp')
| -rw-r--r-- | lib/dejagnu.exp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/dejagnu.exp b/lib/dejagnu.exp index 2a60908..47171d7 100644 --- a/lib/dejagnu.exp +++ b/lib/dejagnu.exp @@ -113,8 +113,6 @@ proc host_execute {args} { set timetol 0 set arguments "" - expect_before buffer_full { perror "Buffer full" } - if { [llength $args] == 0} { set executable $args } else { |