Admin/cronjob/main
author wenzelm
Mon, 30 Jan 2023 15:02:38 +0100
changeset 77137 79231a210f5d
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
observe option "show_states" in headless server (see also 951abf9db857);

#!/usr/bin/env bash
#
# DESCRIPTION: start the main Isabelle cronjob

unset CDPATH
THIS="$(cd "$(dirname "$0")"; pwd)"

source "$HOME/.bashrc"

export ISABELLE_IDENTIFIER="cronjob"
"$THIS/../../bin/isabelle" scala_build -q || exit $?
"$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"