lib/Tools/build
changeset 48511 37999ee01156
parent 48509 4854ced3e9d7
child 48545 c168bc64f2a8
     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