--- a/src/Pure/Admin/build_release.scala Mon Nov 28 11:38:55 2022 +0000
+++ b/src/Pure/Admin/build_release.scala Wed Nov 30 15:03:31 2022 +0100
@@ -13,7 +13,7 @@
private def execute(dir: Path, script: String): Unit =
Isabelle_System.bash(script, cwd = dir.file).check
- private def execute_tar(dir: Path, args: String, strip: Int = 0): Process_Result =
+ private def execute_tar(dir: Path, args: String, strip: Boolean = false): Process_Result =
Isabelle_System.gnutar(args, dir = dir, strip = strip).check
private def bash_java_opens(args: String*): String =
@@ -107,7 +107,7 @@
val isabelle_dir = Isabelle_System.make_directory(dir + ISABELLE)
Bytes.write(archive_path, bytes)
- execute_tar(isabelle_dir, "-xzf " + File.bash_path(archive_path), strip = 1)
+ execute_tar(isabelle_dir, "-xzf " + File.bash_path(archive_path), strip = true)
val id = File.read(isabelle_dir + ISABELLE_ID)
val tags = File.read(isabelle_dir + ISABELLE_TAGS)