benchmark build profile

--- /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) = {}
+
+}