--- a/Admin/jenkins/run_build Mon Oct 08 15:42:43 2018 +0200
+++ b/Admin/jenkins/run_build Mon Oct 08 17:12:28 2018 +0200
@@ -10,4 +10,5 @@
bin/isabelle components -a
bin/isabelle jedit -bf
+bin/isabelle ocaml_setup
bin/isabelle "ci_build_$PROFILE" "$@"