Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_release.scala
changeset 73632 7c70f10e0b3b
parent 73631 f17caa5002df
child 73634 c88faa1e09e1 
--- a/src/Pure/Admin/build_release.scala	Wed May 05 20:37:49 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Wed May 05 20:41:40 2021 +0200
@@ -916,7 +916,7 @@
         }
         else {
           val archive = Release_Archive.get(source_archive, rename = release_name)
-          val context = make_context(proper_string(release_name) getOrElse archive.identifier)
+          val context = make_context(archive.identifier)
           Isabelle_System.new_directory(context.dist_dir)
           use_release_archive(context, archive, id = rev)
           context
isabelle