# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1527325561 -7200
# Node ID 310b8c1e4dbb7a6530c6772bbb3be833277c9dc5
# Parent  5824e400cecca36fcba704d9f9df72c52073d549# Parent  23e12da0866cd32b51a9f9bf1a458e82ee7e9d4a
merged

diff -r 23e12da0866c -r 310b8c1e4dbb Admin/jenkins/build/ci_build_makeall_seq.scala
--- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Fri May 25 23:11:06 2018 +0200
+++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Sat May 26 11:06:01 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"))
 
 }