diff options
Diffstat (limited to 'config/sim.exp')
| -rw-r--r-- | config/sim.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/sim.exp b/config/sim.exp index b507742..8d9088c 100644 --- a/config/sim.exp +++ b/config/sim.exp @@ -62,7 +62,7 @@ proc sim_wait { dest timeout } { proc sim_load { dest prog args } { set inpfile "" if { [llength $args] > 1 } { - if { [lindex $args 1] != "" } { + if { [lindex $args 1] ne "" } { set inpfile "[lindex $args 1]" } } @@ -92,7 +92,7 @@ proc sim_load { dest prog args } { # Run the program with a limited amount of real time. While # this isn't as nice as limiting the amount of CPU time, it # will have to do. - if { $inpfile != "" } { + if { $inpfile ne "" } { set res [remote_spawn target "${cmd} < $inpfile" "readonly"] } else { set res [remote_spawn target "${cmd}"] |