# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1539885863 -7200
# Node ID 44e1c9f93755b0da5d11246a7bad6b7c681c4835
# Parent  30c384e72749cb604f18fc0cb088944bf339081f
Jenkins: run ghc_setup

diff -r 30c384e72749 -r 44e1c9f93755 Admin/jenkins/run_build
--- a/Admin/jenkins/run_build	Thu Oct 18 12:35:32 2018 +0200
+++ b/Admin/jenkins/run_build	Thu Oct 18 20:04:23 2018 +0200
@@ -11,4 +11,5 @@
 bin/isabelle components -a
 bin/isabelle jedit -bf
 bin/isabelle ocaml_setup
+bin/isabelle ghc_setup
 bin/isabelle "ci_build_$PROFILE" "$@"