summaryrefslogtreecommitdiff
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
parent3a454e64414c9cade53c4dbf40628891be53b6b6 (diff)
downloaddejagnu-20217bbefedc18be8e78db68950982371a231285.tar.gz
dejagnu-20217bbefedc18be8e78db68950982371a231285.tar.bz2
dejagnu-20217bbefedc18be8e78db68950982371a231285.zip
* lib/targetdb.exp (set_board_info): Improve comment.
(add_board_info): Likewise.
-rw-r--r--ChangeLog5
-rw-r--r--lib/targetdb.exp6
2 files changed, 7 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog
index e4a8b0c..fc74fe2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
2016-04-04 Ben Elliston <bje@gnu.org>
+ * lib/targetdb.exp (set_board_info): Improve comment.
+ (add_board_info): Likewise.
+
+2016-04-04 Ben Elliston <bje@gnu.org>
+
* NEWS: Add some more detail.
2016-04-04 Ben Elliston <bje@gnu.org>
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
}