From 1ef8545469a662835786fc056109a96d68ee6a23 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 27 Nov 2013 10:57:24 +0100
Subject: [PATCH] autopilot: improve detection of genode dir

If the script is executed with an obscure path (e.g.,
'../tool/autopilot'), just taking the argv0 string fails. Therefore, the
file path is now normalized prior to the directory detection.
---
 tool/autopilot | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tool/autopilot b/tool/autopilot
index b9dd3e92e..7da61a0c9 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -30,7 +30,7 @@ proc foreach_cmdline_arg { tag func } {
 #
 proc genode_dir { } {
 	global argv0;
-	return [file dirname [file dirname $argv0]]
+	return [file dirname [file dirname [file normalize $argv0]]]
 }
 
 
@@ -325,7 +325,7 @@ foreach platform $platforms {
 		if {[execute_run_script $platform $run_script]} {
 			puts stderr "-> OK"
 		} else {
-			
+
 			if {[build_failed_because_of_missing_run_script $platform $run_script]} {
 				puts stderr "-> UNAVAILABLE"
 			} else {