author | wenzelm |
Fri, 25 Jul 2014 17:13:30 +0200 | |
changeset 59028 | 5b16e2370ccb |
parent 59027 | 34ec8a580917 |
child 59029 | cca7e8788481 |
lib/Tools/console | file | annotate | diff | comparison | revisions |
1.1 --- a/lib/Tools/console Fri Jul 25 16:58:28 2014 +0200 1.2 +++ b/lib/Tools/console Fri Jul 25 17:13:30 2014 +0200 1.3 @@ -80,6 +80,7 @@ 1.4 1.5 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)" 1.6 1.7 +mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? 1.8 OPTIONS_FILE="$ISABELLE_TMP_PREFIX/options$$" 1.9 1.10 "$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Build_Console \