build
changeset 15967 f9163c6f69d6
parent 15877 c9efc3e3fd44
child 17576 3be0d6cfbc3a
     1.1 --- a/build	Tue May 17 01:24:19 2005 +0200
     1.2 +++ b/build	Tue May 17 09:58:40 2005 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  if [ -L "$0" ]; then
     1.6    TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     1.7 -  exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     1.8 +  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     1.9  fi
    1.10  
    1.11  
    1.12 @@ -18,13 +18,12 @@
    1.13  
    1.14  ## settings
    1.15  
    1.16 -PRG="$(basename "$0")"
    1.17 -
    1.18  export THIS_IS_ISABELLE_BUILD=true
    1.19  
    1.20 -ISABELLE_HOME="$(dirname "$0")"
    1.21 -. "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.22 -  { echo "$PRG probably not called from its original place!"; exit 2; }
    1.23 +PRG="$(basename "$0")"
    1.24 +
    1.25 +ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"
    1.26 +source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    1.27  
    1.28  
    1.29  ## diagnostics