mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-11 06:54:18 +00:00
increase timeouts for noux_tool_chain_auto
This commit is contained in:
parent
c4686a1196
commit
6de46dfd2e
@ -29,10 +29,11 @@ if {[have_spec arm]} {
|
||||
|
||||
if {[have_spec panda]} {
|
||||
set platform "hw_panda"
|
||||
set tool_chain_timeout 1000
|
||||
set tool_chain_timeout 1500
|
||||
}
|
||||
if {[have_spec arndale]} {
|
||||
set platform "hw_arndale"
|
||||
set tool_chain_timeout 1500
|
||||
}
|
||||
if {[have_spec pbxa9]} { set platform "hw_pbxa9" }
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user