tool/run: select 'arm_v7a' depot archives

The former use of 'arm_v7' as architecture was too unspecific. Depot
binary archives for Cortex-A8/A9 platforms should be generated for
the 'arm_v7a' architecture to define the required compile flags
(i.e., -march).
This commit is contained in:
Norman Feske 2017-06-26 14:02:42 +02:00
parent d2b21d294e
commit 19f7d11f1a
1 changed files with 3 additions and 3 deletions

View File

@ -11,9 +11,9 @@ proc depot_dir { } { return [genode_dir]/depot }
# Return spec value to be used to access binary archives
#
proc depot_spec { } {
if {[have_spec x86_32]} { return "x86_32" }
if {[have_spec x86_64]} { return "x86_64" }
if {[have_spec arm_v7]} { return "arm_v7" }
if {[have_spec x86_32]} { return "x86_32" }
if {[have_spec x86_64]} { return "x86_64" }
if {[have_spec arm_v7a]} { return "arm_v7a" }
}