changeset 66906 | 03a96b8c7c06 |
parent 61294 | 2d3d26e9b191 |
child 67490 | 982f0bf34804 |
--- a/lib/Tools/java Mon Oct 23 14:12:09 2017 +0200 +++ b/lib/Tools/java Mon Oct 23 19:30:39 2017 +0200 @@ -4,11 +4,10 @@ # # DESCRIPTION: invoke Java within the Isabelle environment -declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" +eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" unset CLASSPATH isabelle_java java "${JAVA_ARGS[@]}" \ -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" -