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.
force fresh build;
authorwenzelm
Tue, 11 Oct 2016 20:31:13 +0200
changeset 64149 1380bf90d986
parent 64148 bbf43b7c4d0d
child 64150 b10f2ddd7679
force fresh build;
Admin/cronjob/main file | annotate | diff | comparison | revisions 
--- a/Admin/cronjob/main	Tue Oct 11 20:20:32 2016 +0200
+++ b/Admin/cronjob/main	Tue Oct 11 20:31:13 2016 +0200
@@ -6,6 +6,6 @@
 
 source "$HOME/.bashrc"
 
-"$THIS/../build" jars || exit $?
+"$THIS/../build" jars_fresh || exit $?
 
 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
isabelle