diff -r 027fb21bdd5d -r b4e6b82fdb9e lib/Tools/scalac
--- 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