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 74034 d6ae3a7d9cb0
parent 73705 ac07f6be27ea
child 74038 b4f57bfe82e7
equal deleted inserted replaced
74033:a5e2654cfe28 74034:d6ae3a7d9cb0 
     6 THIS="$(cd "$(dirname "$0")"; pwd)"
 
     6 THIS="$(cd "$(dirname "$0")"; pwd)"
 
     7 
     7 
     8 source "$HOME/.bashrc"
 
     8 source "$HOME/.bashrc"
 
     9 
     9 
    10 export ISABELLE_IDENTIFIER="cronjob"
 
    10 export ISABELLE_IDENTIFIER="cronjob"
 
    11 "$THIS/../build" jars_fresh || exit $?
 
    11 env ISABELLE_SETUP_CLASSPATH_SKIP=true "$THIS/../../bin/isabelle" java isabelle.setup.Setup build > /dev/null || exit $?
 
    12 
       
    13 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
 
    12 exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@"
isabelle