| changeset 74017 | b4e6b82fdb9e |
| parent 73989 | 842fc354c031 |
| child 74038 | b4f57bfe82e7 |
--- a/lib/Tools/scalac Fri Jul 16 12:59:10 2021 +0200 +++ b/lib/Tools/scalac Fri Jul 16 13:18:54 2021 +0200 @@ -4,7 +4,7 @@ # # DESCRIPTION: invoke Scala compiler within the Isabelle environment -isabelle_admin_build jars || exit $? +isabelle_scala_build || exit $? classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH classpath "$CLASSPATH"; unset CLASSPATH