# HG changeset patch
# User wenzelm
# Date 1739363524 -3600
# Node ID 5b8639cb0d119a1067e34e506f1186ba0c4ee3de
# Parent  e8959b23208bf439b0b96791cf3208170390d891
tuned: fewer warnings with scalac -Wunused:all;

diff -r e8959b23208b -r 5b8639cb0d11 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/System/components.scala	Wed Feb 12 13:32:04 2025 +0100
@@ -149,7 +149,7 @@
     progress: Progress = new Progress
   ): Directory = {
     val base_name = local_dir.expand.base
-    val local_directory = Directory(local_dir).check
+    Directory(local_dir).check
     val remote_directory = Directory(base_dir + base_name, ssh = ssh)
     if (remote_directory.ok) remote_directory
     else {
diff -r e8959b23208b -r 5b8639cb0d11 src/Pure/Tools/profiling.scala
--- a/src/Pure/Tools/profiling.scala	Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/Tools/profiling.scala	Wed Feb 12 13:32:04 2025 +0100
@@ -76,7 +76,6 @@
     ): Statistics = {
       val session_base = session_background.base
       val session_name = session_base.session_name
-      val sessions_structure = session_background.sessions_structure
 
       val session = {
         val args = session_base.used_theories.map(p => p._1.theory)
diff -r e8959b23208b -r 5b8639cb0d11 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/Tools/scala_project.scala	Wed Feb 12 13:32:04 2025 +0100
@@ -230,9 +230,8 @@
 
     progress.echo("Creating " + build_tool + " project directory: " + project_dir.absolute)
     Isabelle_System.make_directory(project_dir)
-
-    val java_src_dir = Isabelle_System.make_directory(project_dir + build_tool.java_src_dir)
-    val scala_src_dir = Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir)
+    Isabelle_System.make_directory(project_dir + build_tool.java_src_dir)
+    Isabelle_System.make_directory(project_dir + build_tool.scala_src_dir)
 
     val (jars, sources) = isabelle_files
     isabelle_scala_files