common/bin/compare.sh
changeset 33441 ce975712c050
parent 33031 e208908e7d48
child 34596 e8328ce5b64e
--- a/common/bin/compare.sh	Wed Nov 04 12:45:55 2015 +0100
+++ b/common/bin/compare.sh	Thu Nov 05 10:58:53 2015 +0100
@@ -989,7 +989,7 @@
     fi
 fi
 
-THIS="$( cd "$( dirname "$0" )" > /dev/null && pwd )"
+THIS="$SCRIPT_DIR"
 echo "$THIS"
 THIS_SCRIPT="$0"