changeset 76222 | 3c4e373922ca |
parent 69161 | 44e1c9f93755 |
child 76223 | be91db94e526 |
76221:1f2e78b7df93 | 76222:3c4e373922ca |
---|---|
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 ghc_setup |
15 bin/isabelle "ci_build_$PROFILE" "$@" |
15 bin/isabelle "ci_build $PROFILE" "$@" |