1.1 --- a/Admin/lib/Tools/makedist	Fri Feb 01 21:58:00 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist	Fri Feb 01 21:58:13 2013 +0100
     1.3 @@ -106,6 +106,7 @@
     1.4    DISTVERSION="$DISTNAME: $DISTDATE"
     1.5  fi
     1.6  
     1.7 +DISTPREFIX="$(cd "$DISTPREFIX"; pwd)"
     1.8  DISTBASE="$DISTPREFIX/dist-$DISTNAME"
     1.9  mkdir -p "$DISTBASE" || fail "Unable to create distribution base dir \"$DISTBASE\""
    1.10