diff options
author | Ben Elliston <bje@gnu.org> | 2016-03-30 12:00:33 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-03-30 12:00:33 +1100 |
commit | e7205c4b6e19fd9dd739bf37408b2ee9ae9adbbf (patch) | |
tree | 44df728f289ee4a40dcb15873551d4d71e569189 /lib | |
parent | 5ee75eaae7845cb1dee5535d757b8be45b14ad01 (diff) | |
download | dejagnu-e7205c4b6e19fd9dd739bf37408b2ee9ae9adbbf.zip dejagnu-e7205c4b6e19fd9dd739bf37408b2ee9ae9adbbf.tar.gz dejagnu-e7205c4b6e19fd9dd739bf37408b2ee9ae9adbbf.tar.bz2 |
* lib/remote.exp (remote_expect): Use perror not send_user.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/remote.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/remote.exp b/lib/remote.exp index 95b6e9e..c88e5bb 100644 --- a/lib/remote.exp +++ b/lib/remote.exp @@ -1295,7 +1295,7 @@ proc remote_expect { board timeout args } { if {$code == 1} { if {[info exists string]} { - send_user "ERROR OCCURRED: $errorInfo $errorCode $string" + perror "$errorInfo $errorCode $string" } if { $error_sect != "" } { |