# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1476802121 -7200
# Node ID b2f7aa1c6b75be23a197d2133c8704286a359e3f
# Parent  d7e0123a752b5c95a395e0e248361e0b16a1e6d2
Jenkins: build in system mode again

(backout of 3dbfd6758735)

diff -r d7e0123a752b -r b2f7aa1c6b75 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Tue Oct 18 15:57:34 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Tue Oct 18 16:48:41 2016 +0200
@@ -27,7 +27,7 @@
         max_jobs = jobs,
         dirs = include,
         select_dirs = select,
-        system_mode = false,
+        system_mode = true,
         selection = select_sessions _)
     }
     val end_time = Time.now()