# HG changeset patch
# User wenzelm
# Date 1653901333 -7200
# Node ID 47d790984e82b2dc0aa6ee33929393c461ad7f90
# Parent  5e37ea93759d2ef58190b4b17f81261a41666ddf
tuned names;

diff -r 5e37ea93759d -r 47d790984e82 src/Pure/Admin/build_jedit.scala
--- a/src/Pure/Admin/build_jedit.scala	Mon May 30 10:56:51 2022 +0200
+++ b/src/Pure/Admin/build_jedit.scala	Mon May 30 11:02:13 2022 +0200
@@ -136,7 +136,7 @@
       path
     }
 
-    Isabelle_System.with_tmp_dir("tmp") { tmp_dir =>
+    Isabelle_System.with_tmp_dir("build") { tmp_dir =>
       /* original version */
 
       val install_path = download_jedit(tmp_dir, "install.jar")
diff -r 5e37ea93759d -r 47d790984e82 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon May 30 10:56:51 2022 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon May 30 11:02:13 2022 +0200
@@ -102,7 +102,7 @@
 
   object Release_Archive {
     def make(bytes: Bytes, rename: String = ""): Release_Archive = {
-      Isabelle_System.with_tmp_dir("tmp")(dir =>
+      Isabelle_System.with_tmp_dir("build_release")(dir =>
         Isabelle_System.with_tmp_file("archive", ext = "tar.gz") { archive_path =>
           val isabelle_dir = Isabelle_System.make_directory(dir + ISABELLE)
 
diff -r 5e37ea93759d -r 47d790984e82 src/Pure/Admin/build_sqlite.scala
--- a/src/Pure/Admin/build_sqlite.scala	Mon May 30 10:56:51 2022 +0200
+++ b/src/Pure/Admin/build_sqlite.scala	Mon May 30 11:02:13 2022 +0200
@@ -54,7 +54,7 @@
     val jar = component_dir + Path.basic(download_name).ext("jar")
     Isabelle_System.download_file(download_url, jar, progress = progress)
 
-    Isabelle_System.with_tmp_dir("sqlite") { jar_dir =>
+    Isabelle_System.with_tmp_dir("build") { jar_dir =>
       progress.echo("Unpacking " + jar)
       Isabelle_System.bash("isabelle_jdk jar xf " + File.bash_path(jar.absolute),
         cwd = jar_dir.file).check
diff -r 5e37ea93759d -r 47d790984e82 src/Pure/Admin/sync_repos.scala
--- a/src/Pure/Admin/sync_repos.scala	Mon May 30 10:56:51 2022 +0200
+++ b/src/Pure/Admin/sync_repos.scala	Mon May 30 11:02:13 2022 +0200
@@ -31,7 +31,7 @@
     sync(isabelle_hg, target, rev, filter = List("protect /AFP", "protect /etc/ISABELLE_ID"))
 
     if (!dry_run) {
-      Isabelle_System.with_tmp_dir("sync_repos") { tmp_dir =>
+      Isabelle_System.with_tmp_dir("sync") { tmp_dir =>
         val id_path = tmp_dir + Path.explode("ISABELLE_ID")
         File.write(id_path, isabelle_hg.id(rev = rev))
         Isabelle_System.rsync(thorough = thorough,
diff -r 5e37ea93759d -r 47d790984e82 src/Pure/General/mercurial.scala
--- a/src/Pure/General/mercurial.scala	Mon May 30 10:56:51 2022 +0200
+++ b/src/Pure/General/mercurial.scala	Mon May 30 11:02:13 2022 +0200
@@ -262,7 +262,7 @@
     ): Unit = {
       require(ssh == SSH.Local, "local repository required")
 
-      Isabelle_System.with_tmp_dir("rsync") { tmp_dir =>
+      Isabelle_System.with_tmp_dir("sync") { tmp_dir =>
         val (options, source) =
           if (rev.isEmpty) {
             val exclude_path = tmp_dir + Path.explode("exclude")