From b467678040296cc1398bd754114bf6c0b64d3360 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 30 Aug 2023 08:31:10 -0400 Subject: [PATCH] feat tef: write to trace.json if `TRACE` is either 1 or true --- src/tef/trace_tef.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tef/trace_tef.ml b/src/tef/trace_tef.ml index 321429a..e7ba602 100644 --- a/src/tef/trace_tef.ml +++ b/src/tef/trace_tef.ml @@ -418,7 +418,7 @@ let setup ?(out = `Env) () = | `File path -> Trace_core.setup_collector @@ collector ~out:(`File path) () | `Env -> (match Sys.getenv_opt "TRACE" with - | Some "1" -> + | Some ("1" | "true") -> let path = "trace.json" in let c = collector ~out:(`File path) () in Trace_core.setup_collector c