* baseboards/generic-sim.exp: Check $DEJAGNU_SIM_OPTION.

Signed-off-by: Ben Elliston <bje@gnu.org>
11 years ago · dca68a01f9
2 changed files with 8 additions and 0 deletions
--- a/4
+++ b/4
@ -1,3 +1,7 @@
+2015-05-12  Steve Ellcey  <sellcey@imgtec.com>
+
+	* baseboards/generic-sim.exp: Check $DEJAGNU_SIM_OPTION.
+
 2015-03-30  Ben Elliston  <bje@gnu.org>

 	Revert the following change which causes breakage reported here:
--- 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]