| changeset 74038 | b4f57bfe82e7 |
| parent 74017 | b4e6b82fdb9e |
| child 76343 | 6a6f650cc5a2 |
--- a/lib/Tools/scalac Sat Jul 17 23:09:54 2021 +0200 +++ b/lib/Tools/scalac Sun Jul 18 12:48:31 2021 +0200 @@ -4,7 +4,7 @@ # # DESCRIPTION: invoke Scala compiler within the Isabelle environment -isabelle_scala_build || exit $? +isabelle scala_build || exit $? classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH classpath "$CLASSPATH"; unset CLASSPATH