author | wenzelm |
Sun, 23 Oct 2016 11:38:43 +0200 | |
changeset 64352 | 74ece0e491b6 |
parent 64266 | 4699d3b3173e |
child 64498 | bb29e6849a28 |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # DESCRIPTION: start the main Isabelle cronjob THIS="$(cd "$(dirname "$0")"; pwd)" source "$HOME/.bashrc" export ISABELLE_IDENTIFIER="cronjob" "$THIS/../build" jars_fresh || exit $? exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"