diff options
author | Ben Elliston <bje@gnu.org> | 2018-12-08 10:51:16 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-08 10:51:16 +1100 |
commit | 34199f96f32b0e3375ee2853216ca2490ba6d9bb (patch) | |
tree | 9251e8d0ce3bbe212ea947c749c7b630a863ea35 | |
parent | 433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c (diff) | |
download | dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.zip dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.tar.gz dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.tar.bz2 |
* config/vxworks.exp (${board}_init): Use 'ne' instead of !=.
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | config/vxworks.exp | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,9 @@ 2018-12-08 Ben Elliston <bje@gnu.org> + * config/vxworks.exp (${board}_init): Use 'ne' instead of !=. + +2018-12-08 Ben Elliston <bje@gnu.org> + * lib/tip.exp (tip_open): Put braces around if expression. 2018-12-08 Ben Elliston <bje@gnu.org> diff --git a/config/vxworks.exp b/config/vxworks.exp index 7acb234..0a65de8 100644 --- a/config/vxworks.exp +++ b/config/vxworks.exp @@ -83,7 +83,7 @@ proc ${board}_init { dest } { remote_reboot $dest return } - if { $curr_file != $desired_kernel } { + if { $curr_file ne $desired_kernel } { verbose "$curr_file != '$desired_kernel'" # Oh boy. remote_send $dest "c\n" |