author | blanchet |
Mon, 24 Oct 2016 20:32:02 +0200 | |
changeset 64383 | b9d4efb43fd9 |
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 "$@"