author | wenzelm |
Thu, 13 Oct 2016 09:52:54 +0200 | |
changeset 64182 | 857a335ac292 |
parent 64159 | fe8f8f88a1d7 |
child 64266 | 4699d3b3173e |
permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # DESCRIPTION: start the main Isabelle cronjob THIS="$(cd "$(dirname "$0")"; pwd)" source "$HOME/.bashrc" "$THIS/../build" jars_fresh || exit $? exec env ISABELLE_IDENTIFIER="cronjob" \ "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"