Admin/jenkins/run_build
changeset 69161 44e1c9f93755
parent 69137 90fce429e1bc
equal deleted inserted replaced
69160:30c384e72749 69161:44e1c9f93755
     9 shift
     9 shift
    10 
    10 
    11 bin/isabelle components -a
    11 bin/isabelle components -a
    12 bin/isabelle jedit -bf
    12 bin/isabelle jedit -bf
    13 bin/isabelle ocaml_setup
    13 bin/isabelle ocaml_setup
       
    14 bin/isabelle ghc_setup
    14 bin/isabelle "ci_build_$PROFILE" "$@"
    15 bin/isabelle "ci_build_$PROFILE" "$@"