build
changeset 15877 c9efc3e3fd44
parent 15844 6b1e5f703246
child 15967 f9163c6f69d6
equal deleted inserted replaced
15876:a67343c6ab2a 15877:c9efc3e3fd44
     5 #
     5 #
     6 # build - compile the Isabelle system and object-logics
     6 # build - compile the Isabelle system and object-logics
     7 
     7 
     8 if [ -L "$0" ]; then
     8 if [ -L "$0" ]; then
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     9   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    10   exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
    10   exec "$(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    11 fi
    11 fi
    12 
    12 
    13 
    13 
    14 ## global settings
    14 ## global settings
    15 
    15