equal
deleted
inserted
replaced
135 |
135 |
136 show_settings "" |
136 show_settings "" |
137 echo |
137 echo |
138 fi |
138 fi |
139 |
139 |
|
140 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" |
|
141 |
140 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
142 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
141 |
143 |
142 "$ISABELLE_TOOL" java isabelle.Build \ |
144 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \ |
143 "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \ |
145 "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \ |
144 "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \ |
146 "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \ |
145 "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \ |
147 "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \ |
146 "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |
148 "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@" |
147 RC="$?" |
149 RC="$?" |