# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1527275280 -7200
# Node ID 5824e400cecca36fcba704d9f9df72c52073d549
# Parent  2bc921b2159b1e79a2891757f30c5ab561b3a16e
macOS build: exclude HOL-Proofs

diff -r 2bc921b2159b -r 5824e400cecc Admin/jenkins/build/ci_build_makeall_seq.scala
--- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Thu May 24 09:26:26 2018 +0000
+++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Fri May 25 21:08:00 2018 +0200
@@ -11,6 +11,6 @@
   def pre_hook(args: List[String]) = {}
   def post_hook(results: Build.Results) = {}
 
-  def selection = Sessions.Selection(all_sessions = true)
+  def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs"))
 
 }