--- a/lib/Tools/build Tue May 14 09:49:03 2013 +0200
+++ b/lib/Tools/build Tue May 14 12:21:35 2013 +0200
@@ -137,9 +137,11 @@
echo
fi
+declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
+
. "$ISABELLE_HOME/lib/scripts/timestart.bash"
-"$ISABELLE_TOOL" java isabelle.Build \
+"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build \
"$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
"$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
"${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \