| changeset 64159 | fe8f8f88a1d7 |
| parent 64149 | 1380bf90d986 |
| child 64182 | 857a335ac292 |
| 64158:2f7de0af23d3 | 64159:fe8f8f88a1d7 |
|---|---|
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" isabelle.Isabelle_Cronjob "$@" |
11 exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" |