Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/cronjob/main
changeset 64149 1380bf90d986
parent 64148 bbf43b7c4d0d
child 64159 fe8f8f88a1d7
equal deleted inserted replaced
64148:bbf43b7c4d0d 64149:1380bf90d986 
     4 
     4 
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
 
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
 
     6 
     6 
     7 source "$HOME/.bashrc"
 
     7 source "$HOME/.bashrc"
 
     8 
     8 
     9 "$THIS/../build" jars || exit $?
 
     9 "$THIS/../build" jars_fresh || exit $?
 
    10 
    10 
    11 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
 
    11 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
isabelle