From 6faedf56364c3d334cdc75d6f4d836a691602ef5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 18 Mar 2022 11:53:37 -0400 Subject: [PATCH] fix build race condition --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index e3139fcd..1220adcd 100644 --- a/src/dune +++ b/src/dune @@ -55,7 +55,7 @@ -ml_out . -pp -binary))) (rule - (targets metrics_service_types.ml + (targets metrics_service_types.ml metrics_service_types.mli metrics_service_pp.ml metrics_service_pp.mli metrics_service_pb.ml metrics_service_pb.mli) (deps (:file %{project_root}/vendor/opentelemetry-proto/opentelemetry/proto/collector/metrics/v1/metrics_service.proto)) @@ -64,7 +64,7 @@ -ml_out . -pp -binary))) (rule - (targets trace_service_types.ml + (targets trace_service_types.ml trace_service_types.mli trace_service_pp.ml trace_service_pp.mli trace_service_pb.ml trace_service_pb.mli) (deps