src/Pure/Admin/ci_profile.scala
changeset 64285 d7e0123a752b
parent 64232 367d83d6030e
child 64286 b2f7aa1c6b75
--- a/src/Pure/Admin/ci_profile.scala	Tue Oct 18 12:01:54 2016 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Tue Oct 18 15:57:34 2016 +0200
@@ -22,7 +22,7 @@
       Build.build_selection(
         options = options,
         progress = progress,
-        clean_build = true,
+        clean_build = clean,
         verbose = true,
         max_jobs = jobs,
         dirs = include,
@@ -136,6 +136,7 @@
   /* profile */
 
   def documents: Boolean = true
+  def clean: Boolean = true
 
   def threads: Int
   def jobs: Int