author | wenzelm |
Sat, 17 Jul 2021 22:12:06 +0200 | |
changeset 74034 | d6ae3a7d9cb0 |
parent 73705 | ac07f6be27ea |
child 74038 | b4f57bfe82e7 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # DESCRIPTION: start the main Isabelle cronjob unset CDPATH THIS="$(cd "$(dirname "$0")"; pwd)" source "$HOME/.bashrc" export ISABELLE_IDENTIFIER="cronjob" 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 "$@"