# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1538651293 -7200
# Node ID 088d3870491350d449848ad1f9404f17374f37d2
# Parent  12dce58bcd3f970563c6465d6c52684cfb0771cb
Jenkins: tuned profiles

diff -r 12dce58bcd3f -r 088d38704913 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"))
 
diff -r 12dce58bcd3f -r 088d38704913 Admin/jenkins/build/ci_build_mac.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/jenkins/build/ci_build_mac.scala	Thu Oct 04 13:08:13 2018 +0200
@@ -0,0 +1,16 @@
+object profile extends isabelle.CI_Profile
+{
+
+  import isabelle._
+
+  override def threads = 2
+  override def jobs = 1
+  def include = Nil
+  def select = Nil
+
+  def pre_hook(args: List[String]) = {}
+  def post_hook(results: Build.Results) = {}
+
+  def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs"))
+
+}
diff -r 12dce58bcd3f -r 088d38704913 Admin/jenkins/build/ci_build_makeall_seq.scala
--- a/Admin/jenkins/build/ci_build_makeall_seq.scala	Thu Oct 04 11:18:39 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-object profile extends isabelle.CI_Profile
-{
-
-  import isabelle._
-
-  def threads = 2
-  def jobs = 1
-  def include = Nil
-  def select = Nil
-
-  def pre_hook(args: List[String]) = {}
-  def post_hook(results: Build.Results) = {}
-
-  def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs"))
-
-}