diff -r 7a39036d5a19 -r ce06d6456cc8 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Tue May 26 11:25:33 2020 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Tue May 26 11:58:42 2020 +0200
@@ -20,15 +20,15 @@
     val start_time = Time.now()
     val results = progress.interrupt_handler {
       Build.build(
-        options = options + "system_heaps",
+        options + "system_heaps",
+        selection,
         progress = progress,
         clean_build = clean,
         verbose = true,
         numa_shuffling = numa,
         max_jobs = jobs,
         dirs = include,
-        select_dirs = select,
-        selection = selection)
+        select_dirs = select)
     }
     val end_time = Time.now()
     (results, end_time - start_time)