mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
run: disable some scripts in autopilot mode
because of the limit hardware features of our x86 32bit test hardware
This commit is contained in:
committed by
Christian Helmuth
parent
48134c2a0b
commit
6f8cc92ce0
@@ -38,8 +38,8 @@
|
||||
# input events on the host PC.
|
||||
#
|
||||
|
||||
if { [have_spec linux] } {
|
||||
puts "Run script does not support Linux."
|
||||
if { [have_spec linux] || [have_spec muen] } {
|
||||
puts "Run script does not support Linux and Muen."
|
||||
exit 0
|
||||
}
|
||||
|
||||
@@ -48,8 +48,8 @@ if { [get_cmd_switch --autopilot] && [have_include "power_on/qemu"] } {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [get_cmd_switch --autopilot] && ![have_spec x86] } {
|
||||
puts "Run script is only supported in autopilot mode on x86 platforms"
|
||||
if { [get_cmd_switch --autopilot] && ![have_spec x86_x64] } {
|
||||
puts "Run script does not support autopilot mode on this platform"
|
||||
exit 0
|
||||
}
|
||||
|
||||
|
||||
@@ -5,13 +5,13 @@
|
||||
# configured for the application and for the USB driver.
|
||||
#
|
||||
|
||||
if { [have_include "power_on/qemu"] || [have_spec linux] } {
|
||||
puts "Run script does not support Qemu or Linux"
|
||||
if { [have_include "power_on/qemu"] || [have_spec linux] || [have_spec muen] } {
|
||||
puts "Run script does not support Qemu, Linux, and Muen"
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [get_cmd_switch --autopilot] && ![have_spec x86] } {
|
||||
puts "Run script is only supported in autopilot mode on x86 platforms"
|
||||
if { [get_cmd_switch --autopilot] && ![have_spec x86_64] } {
|
||||
puts "Run script does not support autopilot mode on this platform"
|
||||
exit 0
|
||||
}
|
||||
|
||||
|
||||
@@ -11,6 +11,11 @@ if {[have_include "power_on/qemu"] || [have_include "power_on/linux"]} {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [have_spec muen] } {
|
||||
puts "Run script does not support Muen."
|
||||
exit 0
|
||||
}
|
||||
|
||||
# network configuration
|
||||
set use_nic_bridge 0
|
||||
set use_wifi_driver 1
|
||||
|
||||
@@ -11,6 +11,11 @@ if {[have_include "power_on/qemu"] || [have_include "power_on/linux"]} {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [have_spec muen] } {
|
||||
puts "Run script does not support Muen."
|
||||
exit 0
|
||||
}
|
||||
|
||||
# network configuration
|
||||
set use_nic_bridge 0
|
||||
set use_wifi_driver 1
|
||||
|
||||
@@ -9,6 +9,11 @@
|
||||
|
||||
assert_spec nova
|
||||
|
||||
if { [get_cmd_switch --autopilot] && ![have_include "power_on/qemu"] && [have_spec x86_32] } {
|
||||
puts "Run script does not support autopilot mode on 32 bit"
|
||||
exit 0
|
||||
}
|
||||
|
||||
set use_multiboot 1
|
||||
set use_genode_iso 0
|
||||
set use_model_ahci 0
|
||||
|
||||
@@ -16,6 +16,11 @@ if {([have_spec muen] && [expr $use_vbox5])} {
|
||||
exit 0
|
||||
}
|
||||
|
||||
if { [get_cmd_switch --autopilot] && [have_spec x86_32] } {
|
||||
puts "Run script does not support autopilot mode on 32 bit"
|
||||
exit 0
|
||||
}
|
||||
|
||||
append build_components {
|
||||
core init
|
||||
server/part_blk
|
||||
|
||||
Reference in New Issue
Block a user