author | nipkow |
Mon, 17 Oct 2016 14:37:32 +0200 | |
changeset 64269 | c939cc16b605 |
parent 64266 | 4699d3b3173e (diff) |
parent 64268 | 3faa948dc861 (current diff) |
child 64271 | 912573107a2e |
child 64272 | f76b6dda2e56 |
--- a/Admin/cronjob/main Mon Oct 17 13:20:38 2016 +0200 +++ b/Admin/cronjob/main Mon Oct 17 14:37:32 2016 +0200 @@ -6,7 +6,7 @@ source "$HOME/.bashrc" +export ISABELLE_IDENTIFIER="cronjob" "$THIS/../build" jars_fresh || exit $? -exec env ISABELLE_IDENTIFIER="cronjob" \ - "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" +exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"