diff options
Diffstat (limited to 'lib/targetdb.exp')
| -rw-r--r-- | lib/targetdb.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/targetdb.exp b/lib/targetdb.exp index e29886e..c92573d 100644 --- a/lib/targetdb.exp +++ b/lib/targetdb.exp @@ -33,7 +33,7 @@ proc board_info { machine op args } { if { [llength $args] == 0 } { return [info exists board_info($machine,name)] } else { - return [info exists "board_info($machine,[lindex $args 0])"] + return [info exists board_info($machine,[lindex $args 0])] } } if { [llength $args] == 0 } { |