build
changeset 15877 c9efc3e3fd44
parent 15844 6b1e5f703246
child 15967 f9163c6f69d6
     1.1 --- a/build	Thu Apr 28 21:36:08 2005 +0200
     1.2 +++ b/build	Thu Apr 28 21:36:25 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