--- a/lib/Tools/build Fri Jul 27 13:08:46 2012 +0200
+++ b/lib/Tools/build Fri Jul 27 13:15:12 2012 +0200
@@ -34,7 +34,6 @@
echo " -n no build -- test dependencies only"
echo " -o OPTION override session configuration OPTION (via NAME=VAL or NAME)"
echo " -s system build mode: produce output in ISABELLE_HOME"
- echo " -t inner session timing"
echo " -v verbose"
echo
echo " Build and manage Isabelle sessions, depending on implicit"
@@ -65,10 +64,9 @@
NO_BUILD=false
eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
SYSTEM_MODE=false
-TIMING=false
VERBOSE=false
-while getopts "abd:g:j:no:stv" OPT
+while getopts "abd:g:j:no:sv" OPT
do
case "$OPT" in
a)
@@ -96,9 +94,6 @@
s)
SYSTEM_MODE="true"
;;
- t)
- TIMING="true"
- ;;
v)
VERBOSE="true"
;;
@@ -126,7 +121,7 @@
fi
"$ISABELLE_TOOL" java isabelle.Build \
- "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
+ "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
"${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
RC="$?"