Admin/makedist
changeset 44152 a07748619f53
parent 43357 07889e32bc58
child 45086 3933a0cbd049
--- a/Admin/makedist	Thu Aug 11 12:49:14 2011 +0200
+++ b/Admin/makedist	Thu Aug 11 12:53:41 2011 +0200
@@ -15,7 +15,7 @@
 ## diagnostics
 
 PRG="$(basename "$0")"
-THIS="$(cd $(dirname "$0"); echo "$PWD")"
+THIS="$(cd $(dirname "$0"); pwd)"
 
 function usage()
 {