diff options
| author | Maciej W. Rozycki <macro@mips.com> | 2014-07-15 22:54:05 +1000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2014-07-15 22:54:05 +1000 |
| commit | f53d3dc51d10229a40df1fc85dd330a0fbc12727 (patch) | |
| tree | d2d2ccd5bc30c1e14cd953ae3c680b284fb43fd9 /lib/targetdb.exp | |
| parent | f4d01a7e996969d10fc263aa8dc82644cd149f3a (diff) | |
| download | dejagnu-f53d3dc51d10229a40df1fc85dd330a0fbc12727.zip dejagnu-f53d3dc51d10229a40df1fc85dd330a0fbc12727.tar.gz dejagnu-f53d3dc51d10229a40df1fc85dd330a0fbc12727.tar.bz2 | |
* lib/targetdb.exp (add_board_info): New procedure.
* doc/ref.xml (Add_board_info Procedure): New section.
(Set_board_info Procedure): Add description.
(Unset_board_info Procedure): Likewise.
* doc/user.xml (Board Config File Values): Add `add_board_info'
reference. Reorder `gdb_init_command' table rows and remove a
duplicate entry, reusing it for `gdb_init_commands'.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'lib/targetdb.exp')
| -rw-r--r-- | lib/targetdb.exp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/targetdb.exp b/lib/targetdb.exp index da5c40f..6e4ec3c 100644 --- a/lib/targetdb.exp +++ b/lib/targetdb.exp @@ -73,6 +73,15 @@ proc set_board_info { entry value } { } } +# +# Add VALUE to ENTRY for the current board being defined. +# +proc add_board_info { entry value } { + global board_info board + + lappend board_info($board,$entry) $value +} + # Fill in ENTRY with VALUE for the current target. # proc set_currtarget_info { entry value } { |