# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1466350851 -7200
# Node ID 67c38b9ea2fba7a806a8a701a735ef85fa879603
# Parent  df655e33995c2cb239e062de836a979e046dad9e
benchmark build profile

diff -r df655e33995c -r 67c38b9ea2fb Admin/jenkins/build/ci_build_benchmark.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Sun Jun 19 17:40:51 2016 +0200
@@ -0,0 +1,17 @@
+object profile extends isabelle.CI_Profile
+{
+
+  import isabelle._
+
+  def threads = 8
+  def jobs = 1
+  def all = false
+  def groups = Nil
+  def exclude = Nil
+  def include = Nil
+  def select = List(Path.explode("$ISABELLE_HOME/src/Benchmarks"))
+
+  def pre_hook(args: List[String]) = {}
+  def post_hook(results: Build.Results) = {}
+
+}