--- a/src/Pure/Admin/ci_profile.scala Tue Oct 18 15:55:53 2016 +0100
+++ b/src/Pure/Admin/ci_profile.scala Tue Oct 18 16:05:24 2016 +0100
@@ -22,12 +22,12 @@
Build.build_selection(
options = options,
progress = progress,
- clean_build = true,
+ clean_build = clean,
verbose = true,
max_jobs = jobs,
dirs = include,
select_dirs = select,
- system_mode = false,
+ system_mode = true,
selection = select_sessions _)
}
val end_time = Time.now()
@@ -136,6 +136,7 @@
/* profile */
def documents: Boolean = true
+ def clean: Boolean = true
def threads: Int
def jobs: Int