--- 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