1.1 --- a/lib/Tools/build Thu Jul 26 12:32:25 2012 +0200
1.2 +++ b/lib/Tools/build Thu Jul 26 12:59:09 2012 +0200
1.3 @@ -27,7 +27,7 @@
1.4 echo
1.5 echo " Options are:"
1.6 echo " -a all sessions"
1.7 - echo " -b build target images"
1.8 + echo " -b build heap images"
1.9 echo " -d DIR include session directory with ROOT file"
1.10 echo " -g NAME include session group NAME"
1.11 echo " -j INT maximum number of jobs (default 1)"
1.12 @@ -58,7 +58,7 @@
1.13 ## process command line
1.14
1.15 ALL_SESSIONS=false
1.16 -BUILD_IMAGES=false
1.17 +BUILD_HEAP=false
1.18 declare -a MORE_DIRS=()
1.19 declare -a SESSION_GROUPS=()
1.20 MAX_JOBS=1
1.21 @@ -75,7 +75,7 @@
1.22 ALL_SESSIONS="true"
1.23 ;;
1.24 b)
1.25 - BUILD_IMAGES="true"
1.26 + BUILD_HEAP="true"
1.27 ;;
1.28 d)
1.29 MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
1.30 @@ -126,7 +126,7 @@
1.31 fi
1.32
1.33 "$ISABELLE_TOOL" java isabelle.Build \
1.34 - "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
1.35 + "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$TIMING" "$VERBOSE" \
1.36 "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
1.37 RC="$?"
1.38