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.
less aggressive auto-build: avoid change of running jar;
authorwenzelm
Mon, 21 Dec 2020 23:22:14 +0100
changeset 72978 7e7ed27fe625
parent 72977 e028331c578b
child 72979 e734cd65c926
child 72981 c78d1dfc6571
less aggressive auto-build: avoid change of running jar;
lib/Tools/java_monitor file | annotate | diff | comparison | revisions 
--- a/lib/Tools/java_monitor	Mon Dec 21 22:55:57 2020 +0100
+++ b/lib/Tools/java_monitor	Mon Dec 21 23:22:14 2020 +0100
@@ -4,6 +4,4 @@
 #
 # DESCRIPTION: monitor another Java process
 
-isabelle_admin_build jars || exit $?
-
 isabelle java isabelle.Java_Monitor "$@"
isabelle