Make memory profiling optional

2025-12-30 18:30:54 +00:00 · 2025-12-09 16:35:50 +01:00
parent 757bba192e
commit 74ffb69b0e
4 changed files with 33 additions and 4 deletions
--- a/8
+++ b/8
@@ -215,6 +215,14 @@ opts.Add(
        False,
    )
 )
+opts.Add(
+    BoolVariable(
+        "profiler_track_memory",
+        "Profile memory allocations, if the profiler supports it.",
+        False,
+    )
+)
+

 # Advanced options
 opts.Add(