src/Pure/Admin/ci_profile.scala

       Build.build(
         options = options,
         progress = progress,
         clean_build = clean,
         verbose = true,
+        numa_shuffling = numa,
         max_jobs = jobs,
         dirs = include,
         select_dirs = select,
         system_mode = true,
         selection = selection)

 
   /* profile */
 
   def documents: Boolean = true
   def clean: Boolean = true
+  def numa: Boolean = false
 
   def threads: Int
   def jobs: Int
   def include: List[Path]
   def select: List[Path]