ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Noux: increase tool_chain_auto run script timeout for Fiasco.OC

Browse Source 
Fixes #1932
This commit is contained in:
Christian Prochaska 2016-04-04 17:41:52 +02:00 committed by Christian Helmuth
parent a0d08d4bd1
commit 17401d6a63
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/run/noux_tool_chain_auto.run
View File

@ -50,7 +50,7 @@ if {[have_spec x86]} {
set platform "hw_x86_64"
if {[have_spec foc]} {
set tool_chain_timeout 800
set tool_chain_timeout 850
}
}