# HG changeset patch
# User wenzelm
# Date 1474034216 -7200
# Node ID 2195a7e04db55c8769cac8ccc53190348d923200
# Parent  5a9a1985e9fb82e07e1adaee9e9867cac0cc693d
serious measurements require jobs = 1;

diff -r 5a9a1985e9fb -r 2195a7e04db5 Admin/jenkins/build/ci_build_benchmark.scala
--- a/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 15:54:50 2016 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Fri Sep 16 15:56:56 2016 +0200
@@ -4,7 +4,7 @@
   import isabelle._
 
   def threads = 8
-  def jobs = 2
+  def jobs = 1
   def include = Nil
   def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))