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 /config | |
| parent | 433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c (diff) | |
| download | dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.zip dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.tar.gz dejagnu-34199f96f32b0e3375ee2853216ca2490ba6d9bb.tar.bz2 | |
* config/vxworks.exp (${board}_init): Use 'ne' instead of !=.
Diffstat (limited to 'config')
| -rw-r--r-- | config/vxworks.exp | 2 |
1 files changed, 1 insertions, 1 deletions
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" |