# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1476521155 -7200
# Node ID 3dbfd67587350512a8f75a3a3218e6581653f5ca
# Parent  89514fa139c96c9dfef56f4dd3f9564aefe23138
Jenkins: don't build in system mode

diff -r 89514fa139c9 -r 3dbfd6758735 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Fri Oct 14 22:45:29 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Sat Oct 15 10:45:55 2016 +0200
@@ -27,7 +27,7 @@
         max_jobs = jobs,
         dirs = include,
         select_dirs = select,
-        system_mode = true,
+        system_mode = false,
         selection = select_sessions _)
     }
     val end_time = Time.now()