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 output;
authorwenzelm
Tue, 17 Oct 2017 13:56:58 +0200
changeset 66878 91da58bb560d
parent 66877 4f0ccfe1bcb6
child 66879 593053cac3be
child 66884 c2128ab11f61
tuned output;
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Tue Oct 17 13:51:43 2017 +0200
+++ b/src/Pure/Admin/build_history.scala	Tue Oct 17 13:56:58 2017 +0200
@@ -520,7 +520,7 @@
         }
       isabelle_hg.update(rev = self_rev, clean = true)
       execute("bin/isabelle", "components -I")
-      execute("bin/isabelle", "components -a")
+      execute("bin/isabelle", "components -a", echo = true)
       execute("Admin/build", "jars_fresh")
     }
isabelle