Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned messages: less verbosity;
authorwenzelm
Wed, 25 Jan 2023 21:49:08 +0100
changeset 77100 9f44559c00a9
parent 77099 378bb7a739c3
child 77101 e04536f7c5ea
tuned messages: less verbosity;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Wed Jan 25 21:10:20 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 25 21:49:08 2023 +0100
@@ -610,7 +610,7 @@
 
         // application bundling
 
-        Components.clean_base(contrib_dir, platforms = List(platform), progress = progress)
+        Components.clean_base(contrib_dir, platforms = List(platform))
 
         platform match {
           case Platform.Family.linux_arm | Platform.Family.linux =>
isabelle