Admin/cronjob/main
changeset 64182 857a335ac292
parent 64159 fe8f8f88a1d7
child 64266 4699d3b3173e
equal deleted inserted replaced
64178:12e6c3bbb488 64182:857a335ac292
     6 
     6 
     7 source "$HOME/.bashrc"
     7 source "$HOME/.bashrc"
     8 
     8 
     9 "$THIS/../build" jars_fresh || exit $?
     9 "$THIS/../build" jars_fresh || exit $?
    10 
    10 
    11 exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"
    11 exec env ISABELLE_IDENTIFIER="cronjob" \
       
    12   "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@"