# HG changeset patch
# User wenzelm
# Date 1626552726 -7200
# Node ID d6ae3a7d9cb0193c7ecb96b0b647cd9665bf01da
# Parent  a5e2654cfe289a212977dee4d9039232929ca559
proper isabelle.setup.Setup build;

diff -r a5e2654cfe28 -r d6ae3a7d9cb0 Admin/cronjob/main
--- a/Admin/cronjob/main	Sat Jul 17 21:56:39 2021 +0200
+++ b/Admin/cronjob/main	Sat Jul 17 22:12:06 2021 +0200
@@ -8,6 +8,5 @@
 source "$HOME/.bashrc"
 
 export ISABELLE_IDENTIFIER="cronjob"
-"$THIS/../build" jars_fresh || exit $?
-
+env ISABELLE_SETUP_CLASSPATH_SKIP=true "$THIS/../../bin/isabelle" java isabelle.setup.Setup build > /dev/null || exit $?
 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"