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 65713 b99b48eb46e5
parent 65067 8bc9de2278c0
child 65715 e57e5935c6b4 
--- a/src/Pure/Admin/build_release.scala	Thu May 04 12:15:50 2017 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu May 04 12:23:14 2017 +0200
@@ -55,7 +55,7 @@
     val release_info =
     {
       val date = Date.now()
-      val name = if (release_name != "") release_name else "Isabelle_" + Date.Format.date(date)
+      val name = proper_string_default(release_name, "Isabelle_" + Date.Format.date(date))
       val dist_dir = base_dir + Path.explode("dist-" + name)
       val dist_archive = dist_dir + Path.explode(name + ".tar.gz")
       val dist_library_archive = dist_dir + Path.explode(name + "_library.tar.gz")
isabelle