Admin/jenkins/build/ci_build_benchmark.scala

--- a/Admin/jenkins/build/ci_build_benchmark.scala	Sat Jul 02 20:22:25 2016 +0200
+++ b/Admin/jenkins/build/ci_build_benchmark.scala	Mon Jul 04 18:20:51 2016 +0200
@@ -14,4 +14,7 @@
   def pre_hook(args: List[String]) = {}
   def post_hook(results: Build.Results) = {}
 
+  override def select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) =
+    tree.selection()
+
 }