diff options
Diffstat (limited to 'config/sid.exp')
| -rw-r--r-- | config/sid.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/sid.exp b/config/sid.exp index bb91933..a105bbb 100644 --- a/config/sid.exp +++ b/config/sid.exp @@ -41,7 +41,7 @@ proc set_host_info { entry value } { verbose "set_host_info $entry $value" 3 set machine host - if [info exists target_info($machine,name)] { + if {[info exists target_info($machine,name)]} { set machine $target_info($machine,name) } set board_info($machine,$entry) $value |