# HG changeset patch
# User wenzelm
# Date 1663424198 -7200
# Node ID 11fed9812b57c84e5ebfd46c6ec8c11f8a2f8742
# Parent  d27ed188e0c4b2e7bf841353ed1137ea96c7c3d4
tuned messages;

diff -r d27ed188e0c4 -r 11fed9812b57 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Sat Sep 17 14:45:41 2022 +0200
+++ b/src/Pure/Tools/build_docker.scala	Sat Sep 17 16:16:38 2022 +0200
@@ -75,12 +75,18 @@
 ENTRYPOINT ["Isabelle/bin/isabelle"]
 """ else "")
 
-    output.foreach(File.write(_, dockerfile))
+    for (path <- output) {
+      progress.echo("Dockerfile: " + path.absolute)
+      File.write(path, dockerfile)
+    }
 
     if (!no_build) {
+      Isabelle_System.make_directory(work_dir)
       progress.echo("Docker working directory: " + work_dir.absolute)
-      Isabelle_System.make_directory(work_dir)
+
       Isabelle_System.with_tmp_dir("docker_build", base_dir = work_dir.file) { tmp_dir =>
+        progress.echo("Docker temporary directory: " + tmp_dir.absolute)
+
         File.write(tmp_dir + Path.explode("Dockerfile"), dockerfile)
 
         if (is_remote) {