# HG changeset patch
# User nipkow
# Date 1538644719 -7200
# Node ID 12dce58bcd3f970563c6465d6c52684cfb0771cb
# Parent  cbcc43a00cff300a6dab7a1692ac35eb2d9be028# Parent  3d3e87835ae8c04b3a0a1de9daf8e463edf32761
merged

diff -r 3d3e87835ae8 -r 12dce58bcd3f Admin/jenkins/build/ci_build_makeall.scala
--- a/Admin/jenkins/build/ci_build_makeall.scala	Thu Oct 04 10:35:29 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-object profile extends isabelle.CI_Profile
-{
-
-  import isabelle._
-
-  def threads = 2
-  def jobs = 3
-  def include = Nil
-  def select = Nil
-
-  def pre_hook(args: List[String]) = {}
-  def post_hook(results: Build.Results) = {}
-
-  def selection = Sessions.Selection(all_sessions = true)
-
-}