mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-11 04:53:04 +00:00
parent
1e518cb606
commit
d5ff0877d3
@ -1,6 +1,6 @@
|
|||||||
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
if {[have_cmd_switch --autopilot]} {
|
||||||
puts "Autopilot mode is not supported on this platform."
|
assert {![have_board virt_qemu_riscv]} \
|
||||||
exit 0
|
"Autopilot mode is not supported on this platform."
|
||||||
}
|
}
|
||||||
|
|
||||||
set mkfs_cmd [installed_command mke2fs]
|
set mkfs_cmd [installed_command mke2fs]
|
||||||
|
@ -1,10 +1,8 @@
|
|||||||
if {[have_spec arm]} {
|
assert {[have_spec arm_v7] || ![have_spec arm]}
|
||||||
assert_spec arm_v7
|
|
||||||
}
|
|
||||||
|
|
||||||
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
if {[have_cmd_switch --autopilot]} {
|
||||||
puts "Autopilot mode is not supported on this platform."
|
assert {![have_board virt_qemu_riscv]} \
|
||||||
exit 0
|
"Autopilot mode is not supported on this platform."
|
||||||
}
|
}
|
||||||
|
|
||||||
build {
|
build {
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
if {[have_spec arm]} { assert_spec arm_v7 }
|
assert {[have_spec arm_v7] || ![have_spec arm]}
|
||||||
|
|
||||||
build {
|
build {
|
||||||
core lib/ld init timer lib/vfs lib/libc
|
core lib/ld init timer lib/vfs lib/libc
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
if {[have_spec arm]} { assert_spec arm_v7 }
|
assert {[have_spec arm_v7] || ![have_spec arm]}
|
||||||
|
|
||||||
build {
|
build {
|
||||||
core lib/ld init timer lib/vfs
|
core lib/ld init timer lib/vfs
|
||||||
|
Loading…
x
Reference in New Issue
Block a user