| changeset 74034 | d6ae3a7d9cb0 |
| parent 73705 | ac07f6be27ea |
| child 74038 | b4f57bfe82e7 |
--- 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 "$@"