diff options
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" |