macOS build: exclude HOL-Proofs
authorLars Hupel <lars.hupel@mytum.de>
Fri May 25 21:08:00 2018 +0200 (22 months ago)
changeset 682795824e400cecc
parent 68270 2bc921b2159b
child 68280 310b8c1e4dbb
macOS build: exclude HOL-Proofs
Admin/jenkins/build/ci_build_makeall_seq.scala
     1.1 --- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Thu May 24 09:26:26 2018 +0000
     1.2 +++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Fri May 25 21:08:00 2018 +0200
     1.3 @@ -11,6 +11,6 @@
     1.4    def pre_hook(args: List[String]) = {}
     1.5    def post_hook(results: Build.Results) = {}
     1.6  
     1.7 -  def selection = Sessions.Selection(all_sessions = true)
     1.8 +  def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs"))
     1.9  
    1.10  }