changeset 66906 | 03a96b8c7c06 |
parent 61294 | 2d3d26e9b191 |
child 67490 | 982f0bf34804 |
--- a/lib/Tools/scala Mon Oct 23 14:12:09 2017 +0200 +++ b/lib/Tools/scala Mon Oct 23 19:30:39 2017 +0200 @@ -6,7 +6,7 @@ isabelle_admin_build jars || exit $? -declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" +eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" declare -a SCALA_ARGS=() for ARG in "${JAVA_ARGS[@]}" do