diff options
author | Rob Savoye <rob.savoye@linaro.org> | 2016-03-22 17:55:32 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-03-22 17:55:32 +1100 |
commit | 18050f28ef10657a5073f83b6b57fc4460bdc76f (patch) | |
tree | 605e083f08f5b3fa2ff01b1f1d36b3e97fde64b6 /baseboards | |
parent | 2cd7ac29bebd122140c679ce7c02e21119e2199e (diff) |
* baseboards/generic-sim.exp: If DEJAGNU_SIM_SPECFILE exists in
the environment, use that as the spec file for bare metal testing.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'baseboards')
-rw-r--r-- | baseboards/generic-sim.exp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/baseboards/generic-sim.exp b/baseboards/generic-sim.exp index db15d96..178d91a 100644 --- a/baseboards/generic-sim.exp +++ b/baseboards/generic-sim.exp @@ -1,4 +1,4 @@ -# Copyright (C) 2012 Free Software Foundation, Inc. +# Copyright (C) 2012, 2013, 2014, 2015, 2016 Free Software Foundation, Inc. # # This file is part of DejaGnu. # @@ -65,6 +65,9 @@ if {[info exists env(DEJAGNU_SIM_LINK_FLAGS)]} { if {[info exists env(DEJAGNU_SIM_LDSCRIPT)]} { set_board_info ldscript "$env(DEJAGNU_SIM_LDSCRIPT)" } +if {[info exists env(DEJAGNU_SIM_SPECFILE)]} { + set_board_info specfile "-specs=$env(DEJAGNU_SIM_SPECFILE)" +} if {[info exists env(DEJAGNU_SIM_OPTIONS)]} { set_board_info sim,options "$env(DEJAGNU_SIM_OPTIONS)" |