bin/isabelle
changeset 15967 f9163c6f69d6
parent 15864 cc1b4a289321
child 28504 7ad7d7d6df47
     1.1 --- a/bin/isabelle	Tue May 17 01:24:19 2005 +0200
     1.2 +++ b/bin/isabelle	Tue May 17 09:58:40 2005 +0200
     1.3 @@ -7,10 +7,10 @@
     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 -THIS=$(cd "$(dirname "$0")"; pwd)
    1.12 +THIS=$(cd "$(dirname "$0")"; pwd -P)
    1.13  NAME="$(basename "$0")"
    1.14  
    1.15  case "$NAME" in