mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 08:16:28 +00:00
parent
cefcd1fffa
commit
3534383ec9
@ -5,7 +5,7 @@ if {[have_include power_on/qemu]} {
|
||||
set check_pat 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && [have_spec x86_32]} {
|
||||
if {[have_cmd_arg --autopilot] && [have_spec x86_32]} {
|
||||
# Disable test for our outdated nighly test machine for 32bit
|
||||
set check_pat 0
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user