| changeset 47748 | 24550210de0b |
| parent 47661 | 012a887997f3 |
| child 47996 | 25b9f59ab1b9 |
--- a/lib/scripts/getsettings Wed Apr 25 14:24:27 2012 +0200 +++ b/lib/scripts/getsettings Wed Apr 25 15:13:03 2012 +0200 @@ -203,6 +203,9 @@ ML_IDENTIFIER="${ML_SYSTEM}_${ML_PLATFORM}" fi +#enforce JAVA_HOME +export JAVA_HOME="$ISABELLE_JDK_HOME" + ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_IDENTIFIER" set +o allexport