# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1475066926 -7200
# Node ID 8739c1cd28512ce5ada9961336f7b78a3bf0e16b
# Parent  cdc1e59aa51378fbf210999cf7d546fe89faeac2
sequential (jobs = 1) makeall profile

diff -r cdc1e59aa513 -r 8739c1cd2851 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 14:48:46 2016 +0200
@@ -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)
+
+}