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 64909 8007f10195af
parent 64405 81bac77929d9
child 64935 9437a117408b 
--- a/src/Pure/Admin/build_release.scala	Mon Jan 16 21:33:09 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Jan 16 21:53:44 2017 +0100
@@ -37,7 +37,7 @@
   private val default_platform_families = List("linux", "windows", "windows64", "macos")
 
   def build_release(base_dir: Path,
-    progress: Progress = Ignore_Progress,
+    progress: Progress = No_Progress,
     rev: String = "",
     afp_rev: String = "",
     official_release: Boolean = false,
isabelle