aboutsummaryrefslogtreecommitdiff
path: root/lib/targetdb.exp
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2016-04-04 22:47:16 +1000
committerBen Elliston <bje@gnu.org>2016-04-04 22:47:16 +1000
commit20217bbefedc18be8e78db68950982371a231285 (patch)
tree76289db9b2ca94c4d4ec9118af7c59d778e4a42b /lib/targetdb.exp
parent3a454e64414c9cade53c4dbf40628891be53b6b6 (diff)
downloaddejagnu-20217bbefedc18be8e78db68950982371a231285.zip
dejagnu-20217bbefedc18be8e78db68950982371a231285.tar.gz
dejagnu-20217bbefedc18be8e78db68950982371a231285.tar.bz2
* lib/targetdb.exp (set_board_info): Improve comment.
(add_board_info): Likewise.
Diffstat (limited to 'lib/targetdb.exp')
-rw-r--r--lib/targetdb.exp6
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/targetdb.exp b/lib/targetdb.exp
index c92573d..97c4a75 100644
--- a/lib/targetdb.exp
+++ b/lib/targetdb.exp
@@ -55,22 +55,20 @@ proc host_info { op args } {
return [eval "board_info host \"$op\" $args"]
}
-# Fill in ENTRY with VALUE for the current board being defined.
+# Set ENTRY to VALUE for the current board.
#
proc set_board_info { entry value } {
global board_info board
-
if {![info exists board_info($board,$entry)]} {
set board_info($board,$entry) $value
}
}
#
-# Add VALUE to ENTRY for the current board being defined.
+# Append VALUE to ENTRY for the current board.
#
proc add_board_info { entry value } {
global board_info board
-
lappend board_info($board,$entry) $value
}