adjust job/thread count for new hardware
authorLars Hupel <lars.hupel@mytum.de>
Wed Jun 22 16:47:55 2016 +0200 (2016-06-22 ago)
changeset 63348b3e5bdb784f5
parent 63347 e344dc82f6c2
child 63349 6c889fe495a2
adjust job/thread count for new hardware
Admin/jenkins/build/ci_build_benchmark.scala
Admin/jenkins/build/ci_build_makeall.scala
     1.1 --- a/Admin/jenkins/build/ci_build_benchmark.scala	Wed Jun 22 16:04:03 2016 +0200
     1.2 +++ b/Admin/jenkins/build/ci_build_benchmark.scala	Wed Jun 22 16:47:55 2016 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4    import isabelle._
     1.5  
     1.6    def threads = 8
     1.7 -  def jobs = 1
     1.8 +  def jobs = 2
     1.9    def all = false
    1.10    def groups = Nil
    1.11    def exclude = Nil
     2.1 --- a/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:04:03 2016 +0200
     2.2 +++ b/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:47:55 2016 +0200
     2.3 @@ -3,8 +3,8 @@
     2.4  
     2.5    import isabelle._
     2.6  
     2.7 -  def threads = 4
     2.8 -  def jobs = 2
     2.9 +  def threads = 2
    2.10 +  def jobs = 3
    2.11    def all = true
    2.12    def groups = Nil
    2.13    def exclude = Nil