# HG changeset patch
# User wenzelm
# Date 1476210673 -7200
# Node ID 1380bf90d98693f7d8bae615728510489d0aadf7
# Parent  bbf43b7c4d0d0b8125ccc704e2824468072215d8
force fresh build;

diff -r bbf43b7c4d0d -r 1380bf90d986 Admin/cronjob/main
--- 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 "$@"