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)" |
140 declare -a JAVA_ARGS; eval "JAVA_ARGS=(-Djava.awt.headless=true $ISABELLE_BUILD_JAVA_OPTIONS)" |
141 |
141 |
142 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
142 . "$ISABELLE_HOME/lib/scripts/timestart.bash" |
143 |
143 |
144 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \ |
144 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \ |
145 "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \ |
145 "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \ |