diff -r be20f5f6feb9 -r 90fce429e1bc Admin/jenkins/run_build
--- 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" "$@"