lib/Tools/build
changeset 48545 c168bc64f2a8
parent 48511 37999ee01156
child 48546 f81cf2fcd3a0
     1.1 --- a/lib/Tools/build	Fri Jul 27 13:08:46 2012 +0200
     1.2 +++ b/lib/Tools/build	Fri Jul 27 13:15:12 2012 +0200
     1.3 @@ -34,7 +34,6 @@
     1.4    echo "    -n           no build -- test dependencies 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 @@ -65,10 +64,9 @@
    1.12  NO_BUILD=false
    1.13  eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
    1.14  SYSTEM_MODE=false
    1.15 -TIMING=false
    1.16  VERBOSE=false
    1.17  
    1.18 -while getopts "abd:g:j:no:stv" OPT
    1.19 +while getopts "abd:g:j:no:sv" OPT
    1.20  do
    1.21    case "$OPT" in
    1.22      a)
    1.23 @@ -96,9 +94,6 @@
    1.24      s)
    1.25        SYSTEM_MODE="true"
    1.26        ;;
    1.27 -    t)
    1.28 -      TIMING="true"
    1.29 -      ;;
    1.30      v)
    1.31        VERBOSE="true"
    1.32        ;;
    1.33 @@ -126,7 +121,7 @@
    1.34  fi
    1.35  
    1.36  "$ISABELLE_TOOL" java isabelle.Build \
    1.37 -  "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
    1.38 +  "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.39    "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
    1.40  RC="$?"
    1.41