From 22c61e80116402166f0ee1c6702c7418ea388be2 Mon Sep 17 00:00:00 2001 From: Craig Ferguson Date: Mon, 13 Apr 2020 22:23:40 +0200 Subject: [PATCH] Use workaround for broken locks in Dune pre-2.5.1 --- test/irmin-unix/dune | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test/irmin-unix/dune b/test/irmin-unix/dune index 974e996ddd..559ff95931 100644 --- a/test/irmin-unix/dune +++ b/test/irmin-unix/dune @@ -13,6 +13,9 @@ (rule (alias runtest) (package irmin-unix) + ; Locks mechanism is broken in Dune lang 2.0+ + (deps + (alias ../irmin-http/runtest)) (locks ../http) (action (chdir