diff -r 8f3069015441 -r 37999ee01156 lib/Tools/build
--- a/lib/Tools/build	Thu Jul 26 12:32:25 2012 +0200
+++ b/lib/Tools/build	Thu Jul 26 12:59:09 2012 +0200
@@ -27,7 +27,7 @@
   echo
   echo "  Options are:"
   echo "    -a           all sessions"
-  echo "    -b           build target images"
+  echo "    -b           build heap images"
   echo "    -d DIR       include session directory with ROOT file"
   echo "    -g NAME      include session group NAME"
   echo "    -j INT       maximum number of jobs (default 1)"
@@ -58,7 +58,7 @@
 ## process command line
 
 ALL_SESSIONS=false
-BUILD_IMAGES=false
+BUILD_HEAP=false
 declare -a MORE_DIRS=()
 declare -a SESSION_GROUPS=()
 MAX_JOBS=1
@@ -75,7 +75,7 @@
       ALL_SESSIONS="true"
       ;;
     b)
-      BUILD_IMAGES="true"
+      BUILD_HEAP="true"
       ;;
     d)
       MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
@@ -126,7 +126,7 @@
 fi
 
 "$ISABELLE_TOOL" java isabelle.Build \
-  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
+  "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
   "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
 RC="$?"