Admin/jenkins/build/ci_build_benchmark.scala

--- a/Admin/jenkins/build/ci_build_benchmark.scala	Thu Oct 04 11:18:39 2018 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Thu Oct 04 13:08:13 2018 +0200
@@ -4,8 +4,8 @@
   import isabelle._
 
   override def documents = false
-  def threads = 6
-  def jobs = 1
+  override def threads = 6
+  override def jobs = 1
   def include = Nil
   def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))