From 7ac2fc34f7fabf846b4d5ebecf26eb63d123ab4b Mon Sep 17 00:00:00 2001
From: Antonio Cunei <antonio.cunei@epfl.ch>
Date: Wed, 1 Jul 2009 10:57:19 +0000
Subject: Fix for #2092

---
 test/partest | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'test/partest')

diff --git a/test/partest b/test/partest
index 2d89d3e228..c6eb434d75 100755
--- a/test/partest
+++ b/test/partest
@@ -30,8 +30,12 @@ while [ -h "$SOURCE" ]; do
         SOURCE=`dirname "$SOURCE"`/${TARGET:-.};
     fi;
 done;
-SCALA_HOME=`dirname "$SOURCE"`/..;
-SCALA_HOME=`cd "$SCALA_HOME"; pwd`;
+
+# see #2092
+SCALA_HOME=`dirname "$SOURCE"`
+SCALA_HOME=`cd "$SCALA_HOME"; pwd -P`
+SCALA_HOME=`cd "$SCALA_HOME"/..; pwd`
+
 if $cygwin; then
     SCALA_HOME=`cygpath --windows --short-name "$SCALA_HOME"`
     SCALA_HOME=`cygpath --unix "$SCALA_HOME"`
-- 
cgit v1.2.3