diff -r a67343c6ab2a -r c9efc3e3fd44 build --- a/build Thu Apr 28 21:36:08 2005 +0200 +++ b/build Thu Apr 28 21:36:25 2005 +0200 @@ -7,7 +7,7 @@ if [ -L "$0" ]; then TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')" - exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@" + exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@" fi