Admin/cronjob/main
changeset 64149 1380bf90d986
parent 64148 bbf43b7c4d0d
child 64159 fe8f8f88a1d7
--- 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 "$@"