author | wenzelm |
Mon, 17 Oct 2016 11:07:01 +0200 | |
changeset 64266 | 4699d3b3173e |
parent 64182 | 857a335ac292 |
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 "$@"