# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1475078526 -3600
# Node ID b5d7806c9396169f61965d768861afdd3bfaa6f7
# Parent  354808e9f44b4a06852d867e07a7c46b94dc8573# Parent  8739c1cd28512ce5ada9961336f7b78a3bf0e16b
Merge

diff -r 354808e9f44b -r b5d7806c9396 Admin/jenkins/build/ci_build_makeall_seq.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/jenkins/build/ci_build_makeall_seq.scala	Wed Sep 28 17:02:06 2016 +0100
@@ -0,0 +1,17 @@
+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 select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) =
+    tree.selection(all_sessions = true)
+
+}