diff options
Diffstat (limited to 'baseboards/mmixware-sim.exp')
-rw-r--r-- | baseboards/mmixware-sim.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/baseboards/mmixware-sim.exp b/baseboards/mmixware-sim.exp index 0786490..07a68a2 100644 --- a/baseboards/mmixware-sim.exp +++ b/baseboards/mmixware-sim.exp @@ -34,8 +34,8 @@ unset_board_info slow_simulator # "mmix", is external to the build tree. If nobody set the simulator # name, we set it to "mmix", so the rest of the framework works. Let $SIM # override. -if ![board_info $board exists sim] { - if [info exists SIM] { +if {![board_info $board exists sim]} { + if {[info exists SIM]} { set_board_info sim $SIM } else { # Has to exist in the users path. |