proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
authorwenzelm
Wed, 14 Apr 2021 21:15:24 +0200
changeset 73838 dabe295c3f62
parent 73837 cd84e58aed26
child 73839 ed5226fdf89d
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Apr 14 20:53:28 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Wed Apr 14 21:15:24 2021 +0200
@@ -386,9 +386,9 @@
       val archive_ident =
         Isabelle_System.with_tmp_dir("build_release")(tmp_dir =>
           {
-            val getsettings = release.isabelle + Path.explode("lib/scripts/getsettings")
+            val isabelle_id = release.isabelle + Path.explode("etc/ISABELLE_ID")
             execute_tar(tmp_dir, "-xzf " +
-              File.bash_path(release.isabelle_archive) + " " + File.bash_path(getsettings))
+              File.bash_path(release.isabelle_archive) + " " + File.bash_path(isabelle_id))
             Isabelle_System.isabelle_id(root = tmp_dir + release.isabelle)
           })