# HG changeset patch
# User wenzelm
# Date 1618427724 -7200
# Node ID dabe295c3f62b2ba2f1df67704c1566d34b2092d
# Parent  cd84e58aed268b2636abe13abf0ae8cbb286b836
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);

diff -r cd84e58aed26 -r dabe295c3f62 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)
           })