From 18f2edf9302e6043cca32f4731188d995b959414 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= Date: Mon, 21 Oct 2024 20:53:53 +0200 Subject: [PATCH] Report GC stats at program exit when in debug mode --- src/uicommon.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/uicommon.ml b/src/uicommon.ml index 53a739709..602003224 100644 --- 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