# HG changeset patch
# User wenzelm
# Date 1690203956 -7200
# Node ID 573cc2ab69c59e35d13a5b4cd92c7746acec44f1
# Parent  43cbd96de418973a08edd5fab4cabca8d503cf5e
more thorough context tracing;

diff -r 43cbd96de418 -r 573cc2ab69c5 src/Pure/Tools/profiling.scala
--- a/src/Pure/Tools/profiling.scala	Sun Jul 23 21:23:18 2023 +0200
+++ b/src/Pure/Tools/profiling.scala	Mon Jul 24 15:05:56 2023 +0200
@@ -225,11 +225,12 @@
 
     def build(
       selection: Sessions.Selection,
+      build_options: Options = options,
       build_heap: Boolean = false,
       clean_build: Boolean = false
     ): Build.Results = {
       val results =
-        Build.build(options, progress = progress,
+        Build.build(build_options, progress = progress,
           selection = selection, build_heap = build_heap, clean_build = clean_build,
           dirs = sessions_dirs, numa_shuffling = numa_shuffling, max_jobs = max_jobs)
 
@@ -244,7 +245,11 @@
     progress.echo("DONE")
 
     progress.echo("Build sessions:")
-    val build_results = build(sessions_selection, build_heap = true, clean_build = true)
+    val build_results =
+      build(sessions_selection,
+        build_options = options + "context_theory_tracing",
+        build_heap = true,
+        clean_build = true)
     progress.echo("DONE")
 
     val sessions = {