bin/isabelle-process
changeset 15864 cc1b4a289321
parent 15843 d5bd4a18ce70
child 15967 f9163c6f69d6
     1.1 --- a/bin/isabelle-process	Wed Apr 27 16:41:03 2005 +0200
     1.2 +++ b/bin/isabelle-process	Wed Apr 27 23:02:08 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 "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
     1.9  fi
    1.10  
    1.11