Merge pull request #1070 from tleedjarv/debug-gc

Report GC stats at program exit when in debug mode
bcpierce00 · Oct 21, 2024 · c6868a5 · c6868a5
2 parents d2826dd + 18f2edf
commit c6868a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/uicommon.ml b/src/uicommon.ml
@@ -1010,7 +1010,7 @@ let initPrefs ~profileName ~promptForRoots ?(prepDebug = fun () -> ()) () =
   end;
 
   (* Turn on GC messages, if the '-debug gc' flag was provided *)
-  Gc.set {(Gc.get ()) with Gc.verbose = if Trace.enabled "gc" then 0x3F else 0};
+  Gc.set {(Gc.get ()) with Gc.verbose = if Trace.enabled "gc" then 0x43F else 0};
 
   (* Install dummy roots and backup directory if we are running self-tests *)
   if Prefs.read runtests then begin