From 351dad80af3ae818dc26b3beab785f9f7eb65773 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 20 Oct 2014 11:21:57 +0200
Subject: [PATCH] noux: increase timeout for tool-chain test

This is just a quick fix to calm down the buildbot - a revised
implementation is needed according to issue #1277. Further, the reason
for the increased test duration on several platforms must be
investigated.
---
 repos/ports/run/noux_tool_chain_auto.run | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run
index db603e5569..f6c36a0bdd 100644
--- a/repos/ports/run/noux_tool_chain_auto.run
+++ b/repos/ports/run/noux_tool_chain_auto.run
@@ -22,14 +22,10 @@ set platform_cmds     {
                          exit 234
 }
 
-# default tool_chain timeout, overwritten by platform if required
-set tool_chain_timeout  450
-set noux_boot_timeout   100
-
 if {[have_spec arm]} {
-	set platform_base_dir "base-hw"
+	set platform_base_dir   "base-hw"
 	set noux_boot_timeout   350
-	set tool_chain_timeout  500
+	set tool_chain_timeout  600
 
 	if {[have_spec platform_panda]}   {
 		set platform "hw_panda"
@@ -47,12 +43,15 @@ if {[have_spec arm]} {
 }
 
 if {[have_spec x86]} {
+	set platform_base_dir   "base-nova"
+	set noux_boot_timeout   100
+	set tool_chain_timeout  600
+
 	if {[have_spec 32bit]} {
 		set platform          "nova_x86_32"
 	} else {
 		set platform          "nova_x86_64"
 	}
-	set platform_base_dir "base-nova"
 }
 
 source ${genode_dir}/repos/ports/run/noux_tool_chain.inc