# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1540284648 -7200
# Node ID effe7f8b2b1bc31e7dfdca8dede8343be8c1839c
# Parent  922833cc6839e4f37251805ddb57c121ddde0347
Jenkins: delete obsolete profile

diff -r 922833cc6839 -r effe7f8b2b1b Admin/jenkins/build/ci_build_mac.scala
--- a/Admin/jenkins/build/ci_build_mac.scala	Mon Oct 22 19:03:47 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-object profile extends isabelle.CI_Profile
-{
-
-  import isabelle._
-
-  override def threads = 2
-  override def jobs = 1
-  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, exclude_sessions = List("HOL-Proofs"))
-
-}