From b3950fefb1219b01d1afbb0c3a37fe7f6189de31 Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Thu, 17 Oct 2019 15:04:00 +0100 Subject: [PATCH] Fix build with latest dune. --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index 307b2bb..c273616 100644 --- a/src/dune +++ b/src/dune @@ -14,5 +14,5 @@ (action (bash "%{bin:cinaps} %{first_dep}"))) (rule (targets explicit_dependencies.ml explicit_dependencies.mli) - (deps %{workspace_root}/bin/gen-explicit-dependencies.sh) - (action (bash "%{deps} re2_c"))) \ No newline at end of file + (mode fallback) (deps %{workspace_root}/bin/gen-explicit-dependencies.sh) + (action (bash "%{deps} re2_c")))