isabelle: Admin/cronjob/main@8d50467f7555 (annotated)

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 "$@"