proper isabelle.setup.Setup build;
authorwenzelm
Sat, 17 Jul 2021 22:12:06 +0200
changeset 74298 d6ae3a7d9cb0
parent 74297 a5e2654cfe28
child 74299 ec3249dd63dd
proper isabelle.setup.Setup build;
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 "$@"