From eff6016151861dd79596191195e497d97a335127 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Dec 2023 17:24:35 -0500 Subject: [PATCH] support trace-fuchsia if present --- src/bin-lib/dune | 3 ++- src/bin-lib/trace_setup.fuchsia.ml | 1 + src/bin-lib/{trace_setup.real.ml => trace_setup.tef.ml} | 0 3 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 src/bin-lib/trace_setup.fuchsia.ml rename src/bin-lib/{trace_setup.real.ml => trace_setup.tef.ml} (100%) diff --git a/src/bin-lib/dune b/src/bin-lib/dune index e52ade26..038f7b73 100644 --- a/src/bin-lib/dune +++ b/src/bin-lib/dune @@ -4,7 +4,8 @@ (synopsis "Utils for the sidekick binaries") (libraries containers sidekick.util (select trace_setup.ml from - (trace-tef -> trace_setup.real.ml) + (trace-fuchsia -> trace_setup.fuchsia.ml) + (trace-tef -> trace_setup.tef.ml) (-> trace_setup.dummy.ml))) (flags :standard -warn-error -a+8 -open Sidekick_util)) diff --git a/src/bin-lib/trace_setup.fuchsia.ml b/src/bin-lib/trace_setup.fuchsia.ml new file mode 100644 index 00000000..4306e6ae --- /dev/null +++ b/src/bin-lib/trace_setup.fuchsia.ml @@ -0,0 +1 @@ +let with_trace f = Trace_fuchsia.with_setup () f diff --git a/src/bin-lib/trace_setup.real.ml b/src/bin-lib/trace_setup.tef.ml similarity index 100% rename from src/bin-lib/trace_setup.real.ml rename to src/bin-lib/trace_setup.tef.ml