diff -r 45c7b88d1609 -r 1a12e6246212 src/Pure/Tools/build_process.scala
--- a/src/Pure/Tools/build_process.scala	Fri Jun 30 14:56:38 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Fri Jun 30 16:04:53 2023 +0200
@@ -80,8 +80,6 @@
           }
       }
 
-    Isabelle_System.make_directory(store.output_dir + Path.basic("log"))
-
     using_option(store.maybe_open_build_database()) { db =>
       val shared_db = db.is_postgresql
       Data.transaction_lock(db, create = true) {