mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 10:46:25 +00:00
libc_integration: reduce rounds for x86_32
autopilot mode. The test machine is less powerful as the x86_64 one. Issue #3967
This commit is contained in:
parent
a37ff1d985
commit
ab31de0f6a
@ -26,8 +26,9 @@ if { [get_cmd_switch --autopilot] } {
|
||||
set run_script_timeout 1200
|
||||
|
||||
if {[have_board pc]} {
|
||||
set config_wo 10000
|
||||
set run [expr [have_spec nova] || [have_spec hw]]
|
||||
|
||||
if {[have_spec x86_32]} { set config_wo 8000 }
|
||||
}
|
||||
if {[have_board imx8q_evk]} {
|
||||
set config_wo 9000
|
||||
|
Loading…
Reference in New Issue
Block a user