diff options
Diffstat (limited to 'src/mono/bin/scalac-net')
-rwxr-xr-x | src/mono/bin/scalac-net | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/mono/bin/scalac-net b/src/mono/bin/scalac-net index e3442b3606..f1ed94a417 100755 --- a/src/mono/bin/scalac-net +++ b/src/mono/bin/scalac-net @@ -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"` |