mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
parent
f75f477c2b
commit
9f02151d0b
@ -9,7 +9,7 @@
|
|||||||
|
|
||||||
assert_spec x86
|
assert_spec x86
|
||||||
|
|
||||||
if { [get_cmd_switch --autopilot] && ![have_include "power_on/qemu"] && [have_spec x86_32] } {
|
if { [get_cmd_switch --autopilot] && [have_spec x86_32] } {
|
||||||
puts "Run script does not support autopilot mode on 32 bit"
|
puts "Run script does not support autopilot mode on 32 bit"
|
||||||
exit 0
|
exit 0
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user