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