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 e148a6c..77f1827 100644 --- a/config/sid.exp +++ b/config/sid.exp @@ -41,7 +41,7 @@ proc set_host_info { entry value } { set machine host if {[info exists target_info($machine,name)]} { - set machine $target_info($machine,name) + set machine $target_info($machine,name) } set board_info($machine,$entry) $value } |