diff -r 6441b4591eb8 -r 0be06f99b210 src/Pure/Admin/ci_profile.scala
--- a/src/Pure/Admin/ci_profile.scala	Fri Jun 26 17:34:34 2020 +0200
+++ b/src/Pure/Admin/ci_profile.scala	Sat Jun 27 11:25:30 2020 +0200
@@ -21,7 +21,7 @@
     val results = progress.interrupt_handler {
       Build.build(
         options + "system_heaps",
-        selection,
+        selection = selection,
         progress = progress,
         clean_build = clean,
         verbose = true,