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_history.scala
changeset 74035 ec3249dd63dd
parent 73671 7404f2e1d092
child 74036 57768f30d17c 
--- a/src/Pure/Admin/build_history.scala	Sat Jul 17 22:12:06 2021 +0200
+++ b/src/Pure/Admin/build_history.scala	Sat Jul 17 22:17:27 2021 +0200
@@ -564,7 +564,7 @@
 
       execute("bin/isabelle", "components -I")
       execute("bin/isabelle", "components -a", echo = true)
-      execute("Admin/build", "jars_fresh")
+      execute("bin/isabelle", "jedit -bf")
     }
 
     val rev_id = self_hg.id(rev)
isabelle