diff -r c895e334162c -r c24907e5081e lib/Tools/build
--- a/lib/Tools/build	Sun Jul 29 21:55:56 2012 +0200
+++ b/lib/Tools/build	Mon Jul 30 11:03:44 2012 +0200
@@ -29,7 +29,6 @@
   echo "    -a           select all sessions"
   echo "    -b           build heap images"
   echo "    -d DIR       include session directory with ROOT file"
-  echo "    -f           fresh build"
   echo "    -g NAME      select session group NAME"
   echo "    -j INT       maximum number of parallel jobs (default 1)"
   echo "    -n           no build -- test dependencies only"
@@ -60,7 +59,6 @@
 ALL_SESSIONS=false
 BUILD_HEAP=false
 declare -a MORE_DIRS=()
-FRESH_BUILD=false
 declare -a SESSION_GROUPS=()
 MAX_JOBS=1
 NO_BUILD=false
@@ -68,7 +66,7 @@
 SYSTEM_MODE=false
 VERBOSE=false
 
-while getopts "abd:fg:j:no:sv" OPT
+while getopts "abd:g:j:no:sv" OPT
 do
   case "$OPT" in
     a)
@@ -80,9 +78,6 @@
     d)
       MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
       ;;
-    f)
-      FRESH_BUILD="true"
-      ;;
     g)
       SESSION_GROUPS["${#SESSION_GROUPS[@]}"]="$OPTARG"
       ;;
@@ -126,7 +121,7 @@
 fi
 
 "$ISABELLE_TOOL" java isabelle.Build \
-  "$ALL_SESSIONS" "$BUILD_HEAP" "$FRESH_BUILD" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
+  "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
   "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
 RC="$?"