diff options
author | Steve Ellcey <sellcey@imgtec.com> | 2015-05-12 12:20:20 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2015-05-12 12:20:20 +1000 |
commit | dca68a01f903ff2e1eaa9ef0d6e19d3bbcf68876 (patch) | |
tree | 215cb4c4ad1e4c36a5fbe8e0ec2cb9809893142c /baseboards | |
parent | 4107079062380801845bb090bc98b22c54bfaefd (diff) |
* baseboards/generic-sim.exp: Check $DEJAGNU_SIM_OPTION.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'baseboards')
-rw-r--r-- | baseboards/generic-sim.exp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/baseboards/generic-sim.exp b/baseboards/generic-sim.exp index 7014bbe..db15d96 100644 --- a/baseboards/generic-sim.exp +++ b/baseboards/generic-sim.exp @@ -66,6 +66,10 @@ if {[info exists env(DEJAGNU_SIM_LDSCRIPT)]} { set_board_info ldscript "$env(DEJAGNU_SIM_LDSCRIPT)" } +if {[info exists env(DEJAGNU_SIM_OPTIONS)]} { + set_board_info sim,options "$env(DEJAGNU_SIM_OPTIONS)" +} + if {[info exists env(DEJAGNU_SIM_BOARD_INFO)]} { foreach e $env(DEJAGNU_SIM_BOARD_INFO) { set_board_info [lindex $e 0] [lindex $e 1] |