# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1466606875 -7200
# Node ID b3e5bdb784f554028901a1a95711cbc97801b7ee
# Parent  e344dc82f6c22c97ccf4ea86042d0ebd7c4dfdd2
adjust job/thread count for new hardware

diff -r e344dc82f6c2 -r b3e5bdb784f5 Admin/jenkins/build/ci_build_benchmark.scala
--- a/Admin/jenkins/build/ci_build_benchmark.scala	Wed Jun 22 16:04:03 2016 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Wed Jun 22 16:47:55 2016 +0200
@@ -4,7 +4,7 @@
   import isabelle._
 
   def threads = 8
-  def jobs = 1
+  def jobs = 2
   def all = false
   def groups = Nil
   def exclude = Nil
diff -r e344dc82f6c2 -r b3e5bdb784f5 Admin/jenkins/build/ci_build_makeall.scala
--- a/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:04:03 2016 +0200
+++ b/Admin/jenkins/build/ci_build_makeall.scala	Wed Jun 22 16:47:55 2016 +0200
@@ -3,8 +3,8 @@
 
   import isabelle._
 
-  def threads = 4
-  def jobs = 2
+  def threads = 2
+  def jobs = 3
   def all = true
   def groups = Nil
   def exclude = Nil