changeset 74038 | b4f57bfe82e7 |
parent 74017 | b4e6b82fdb9e |
child 75654 | 21164fd15e3d |
--- a/lib/Tools/scala Sat Jul 17 23:09:54 2021 +0200 +++ b/lib/Tools/scala Sun Jul 18 12:48:31 2021 +0200 @@ -4,7 +4,7 @@ # # DESCRIPTION: invoke Scala within the Isabelle environment -isabelle_scala_build || exit $? +isabelle scala_build || exit $? eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" declare -a SCALA_ARGS=()