mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +00:00
parent
ca777fe93f
commit
7318ca6084
@ -24,6 +24,10 @@ proc depot_spec { } {
|
||||
if {[have_spec arm_v6]} { return "arm_v6" }
|
||||
if {[have_spec arm_v7a]} { return "arm_v7a" }
|
||||
if {[have_spec arm_v8a]} { return "arm_v8a" }
|
||||
if {[have_spec riscv]} { return "riscv" }
|
||||
|
||||
puts stderr "Error: unsupported architecture"
|
||||
exit 1
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user