diff -r 8c26657e73c3 -r c168bc64f2a8 lib/Tools/build
--- 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="$?"