Admin/cronjob/main
author wenzelm
Tue, 04 Apr 2017 18:43:47 +0200
changeset 65370 1324268c2f6a
parent 64498 bb29e6849a28
permissions -rwxr-xr-x
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64148
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     2
#
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     3
# DESCRIPTION: start the main Isabelle cronjob
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     4
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     5
THIS="$(cd "$(dirname "$0")"; pwd)"
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     6
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     7
source "$HOME/.bashrc"
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
     8
64266
4699d3b3173e uniform Isabelle settings -- avoid picking up different JAVA_HOME;
wenzelm
parents: 64182
diff changeset
     9
export ISABELLE_IDENTIFIER="cronjob"
64149
1380bf90d986 force fresh build;
wenzelm
parents: 64148
diff changeset
    10
"$THIS/../build" jars_fresh || exit $?
64148
bbf43b7c4d0d basic setup for Isabelle cronjob;
wenzelm
parents:
diff changeset
    11
64498
bb29e6849a28 $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);
wenzelm
parents: 64266
diff changeset
    12
exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"