--- a/src/Pure/Admin/ci_profile.scala Fri Mar 01 20:16:26 2019 +0100
+++ b/src/Pure/Admin/ci_profile.scala Fri Mar 01 21:29:59 2019 +0100
@@ -20,7 +20,7 @@
val start_time = Time.now()
val results = progress.interrupt_handler {
Build.build(
- options = options,
+ options = options + "system_heaps",
progress = progress,
clean_build = clean,
verbose = true,
@@ -28,7 +28,6 @@
max_jobs = jobs,
dirs = include,
select_dirs = select,
- system_mode = true,
selection = selection)
}
val end_time = Time.now()