| changeset 57686 | 5b16e2370ccb |
| parent 57581 | 74bbe9317aa4 |
| child 61135 | 8f7d802b7a71 |
--- a/lib/Tools/console Fri Jul 25 16:58:28 2014 +0200 +++ b/lib/Tools/console Fri Jul 25 17:13:30 2014 +0200 @@ -80,6 +80,7 @@ declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" +mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? OPTIONS_FILE="$ISABELLE_TMP_PREFIX/options$$" "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build_Console \