changeset 74017 | b4e6b82fdb9e |
parent 73989 | 842fc354c031 |
child 74038 | b4f57bfe82e7 |
--- a/lib/Tools/scala Fri Jul 16 12:59:10 2021 +0200 +++ b/lib/Tools/scala Fri Jul 16 13:18:54 2021 +0200 @@ -4,7 +4,7 @@ # # DESCRIPTION: invoke Scala within the Isabelle environment -isabelle_admin_build jars || exit $? +isabelle_scala_build || exit $? eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" declare -a SCALA_ARGS=()