changeset 63951 | 8739c1cd2851 |
child 65415 | 8cd54b18b68b |
--- /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) + +}