# HG changeset patch
# User wenzelm
# Date 1674424131 -3600
# Node ID 671ca79e264457b6715d4559f15eee7d99f964d1
# Parent  f51b0b54b20b1b9656b8ef471c4fa2f1122f87b6
proper cleanup;

diff -r f51b0b54b20b -r 671ca79e2644 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun Jan 22 22:48:12 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Sun Jan 22 22:48:51 2023 +0100
@@ -796,6 +796,8 @@
               Bytes.read(sfx_exe) + Bytes(sfx_txt) + Bytes.read(exe_archive))
             File.set_executable(context.dist_dir + isabelle_exe, true)
         }
+
+        other_isabelle.cleanup()
       }
       progress.echo("DONE")
     }