# HG changeset patch
# User wenzelm
# Date 1754937278 -7200
# Node ID 01b6ba2f121be47b35bf2021dc36fa981610f1be
# Parent  eacbf9361b8d89719fba73817de311a60cf2f574
proper session dirs;

diff -r eacbf9361b8d -r 01b6ba2f121b src/Pure/Tools/process_theories.scala
--- a/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:29:04 2025 +0200
+++ b/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:34:38 2025 +0200
@@ -123,7 +123,7 @@
         }
       }
 
-      Build.build(options, private_dir = Some(private_dir), progress = progress,
+      Build.build(options, private_dir = Some(private_dir), dirs = dirs, progress = progress,
         infos = List(session_info), selection = Sessions.Selection.session(session_name),
         session_setup = session_setup)
     }