diff options
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | lib/dejagnu.exp | 2 |
2 files changed, 6 insertions, 2 deletions
@@ -1,3 +1,9 @@ +2014-10-14 Ben Elliston <bje@gnu.org> + + * lib/dejagnu.exp (host_execute): Remove buffer_full check. This + is not the right command keyword -- it is full_buffer. Reported by + David Malcolm. + 2014-07-15 Maciej W. Rozycki <macro@mips.com> Maciej W. Rozycki <macro@codesourcery.com> 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 { |