From 6e166d01bbe936e610b3403398dce724477a8ac2 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 15 Oct 2014 12:19:33 +0200
Subject: [PATCH] autopilot: detect missing run script with timestamps

---
 tool/autopilot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/autopilot b/tool/autopilot
index 37d27402a..2667cb0b0 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -219,7 +219,7 @@ proc build_failed_because_of_missing_run_script { platform run_script } {
 
 	# grep log output for the respective error message of the build system
 	if {[catch {
-		exec grep "^Error: No run script for" [log_file $platform $run_script]
+		exec grep {^\(\[....-..-.. ..:..:..] \)*Error: No run script for} [log_file $platform $run_script]
 	}]} { return 0 }
 	return 1
 }