diff options
author | Ben Elliston <bje@gnu.org> | 2016-04-04 22:47:16 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-04-04 22:47:16 +1000 |
commit | 20217bbefedc18be8e78db68950982371a231285 (patch) | |
tree | 76289db9b2ca94c4d4ec9118af7c59d778e4a42b | |
parent | 3a454e64414c9cade53c4dbf40628891be53b6b6 (diff) | |
download | dejagnu-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-- | ChangeLog | 5 | ||||
-rw-r--r-- | lib/targetdb.exp | 6 |
2 files changed, 7 insertions, 4 deletions
@@ -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 } |