lib/Tools/build
changeset 48459 375e45df6fdf
parent 48447 ef600ce4559c
child 48469 826a771cff33
     1.1 --- a/lib/Tools/build	Tue Jul 24 10:11:49 2012 +0200
     1.2 +++ b/lib/Tools/build	Tue Jul 24 10:39:03 2012 +0200
     1.3 @@ -22,6 +22,7 @@
     1.4    echo "    -l           list sessions only"
     1.5    echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"
     1.6    echo "    -s           system build mode: produce output in ISABELLE_HOME"
     1.7 +  echo "    -t           inner session timing"
     1.8    echo "    -v           verbose"
     1.9    echo
    1.10    echo "  Build and manage Isabelle sessions, depending on implicit"
    1.11 @@ -54,12 +55,13 @@
    1.12  MAX_JOBS=1
    1.13  LIST_ONLY=false
    1.14  SYSTEM_MODE=false
    1.15 +TIMING=false
    1.16  VERBOSE=false
    1.17  
    1.18  declare -a MORE_DIRS=()
    1.19  eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
    1.20  
    1.21 -while getopts "abd:j:lo:sv" OPT
    1.22 +while getopts "abd:j:lo:stv" OPT
    1.23  do
    1.24    case "$OPT" in
    1.25      a)
    1.26 @@ -84,6 +86,9 @@
    1.27      s)
    1.28        SYSTEM_MODE="true"
    1.29        ;;
    1.30 +    t)
    1.31 +      TIMING="true"
    1.32 +      ;;
    1.33      v)
    1.34        VERBOSE="true"
    1.35        ;;
    1.36 @@ -101,5 +106,5 @@
    1.37  [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
    1.38  
    1.39  exec "$ISABELLE_TOOL" java isabelle.Build \
    1.40 -  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$VERBOSE" \
    1.41 -  "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
    1.42 +  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$TIMING" \
    1.43 +  "$VERBOSE" "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"