1.1 --- a/bin/isabelle Wed Apr 27 16:41:03 2005 +0200
1.2 +++ b/bin/isabelle 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 THIS=$(cd "$(dirname "$0")"; pwd)
2.1 --- a/bin/isabelle-interface Wed Apr 27 16:41:03 2005 +0200
2.2 +++ b/bin/isabelle-interface Wed Apr 27 23:02:08 2005 +0200
2.3 @@ -7,7 +7,7 @@
2.4
2.5 if [ -L "$0" ]; then
2.6 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
2.7 - exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
2.8 + exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
2.9 fi
2.10
2.11
3.1 --- a/bin/isabelle-process Wed Apr 27 16:41:03 2005 +0200
3.2 +++ b/bin/isabelle-process Wed Apr 27 23:02:08 2005 +0200
3.3 @@ -7,7 +7,7 @@
3.4
3.5 if [ -L "$0" ]; then
3.6 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
3.7 - exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
3.8 + exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
3.9 fi
3.10
3.11