diff -r 42f19e398ee4 -r c8dc5d1adc7b src/Pure/Tools/scala_build.scala
--- a/src/Pure/Tools/scala_build.scala	Fri Jul 22 15:15:26 2022 +0200
+++ b/src/Pure/Tools/scala_build.scala	Fri Jul 22 15:28:56 2022 +0200
@@ -98,10 +98,8 @@
     val here = Scala_Project.here
     def invoke(args: List[Bytes]): List[Bytes] =
       args match {
-        case List(component, dir) =>
-          val result =
-            build_result(Path.explode(dir.text),
-              component = Value.Boolean.parse(component.text))
+        case List(dir) =>
+          val result = build_result(Path.explode(dir.text))
           val jar_name =
             result.jar_path match {
               case Some(path) => path.file_name