bin/isabelle-process
changeset 15967 f9163c6f69d6
parent 15864 cc1b4a289321
child 16101 37471d84d353
     1.1 --- a/bin/isabelle-process	Tue May 17 01:24:19 2005 +0200
     1.2 +++ b/bin/isabelle-process	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 @@ -15,9 +15,8 @@
    1.13  
    1.14  PRG="$(basename "$0")"
    1.15  
    1.16 -ISABELLE_HOME="$(dirname "$0")/.."
    1.17 -. "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.18 -  { echo "$PRG probably not called from its original place!"; exit 2; }
    1.19 +ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    1.20 +source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    1.21  
    1.22  
    1.23  ## diagnostics