Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adjust job/thread count for new hardware
authorLars Hupel <lars.hupel@mytum.de>
Wed, 22 Jun 2016 16:47:55 +0200
changeset 63348 b3e5bdb784f5
parent 63347 e344dc82f6c2
child 63349 6c889fe495a2
adjust job/thread count for new hardware
Admin/jenkins/build/ci_build_benchmark.scala file | annotate | diff | comparison | revisions
Admin/jenkins/build/ci_build_makeall.scala file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle