From 6de46dfd2e2374226e7d976e2fb231b845d5eb42 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 16 Oct 2015 10:39:47 +0200
Subject: [PATCH] increase timeouts for noux_tool_chain_auto

---
 repos/ports/run/noux_tool_chain_auto.run | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run
index 93f661797..24ca5f1ed 100644
--- a/repos/ports/run/noux_tool_chain_auto.run
+++ b/repos/ports/run/noux_tool_chain_auto.run
@@ -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" }