From 6c8b59d945b755f97c22e8afdaeb84928ecd5fd2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 27 Apr 2022 22:53:21 -0400 Subject: [PATCH] detail --- src/resp2/test/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/src/resp2/test/dune b/src/resp2/test/dune index 933db654..b2ace9d3 100644 --- a/src/resp2/test/dune +++ b/src/resp2/test/dune @@ -1,3 +1,4 @@ (tests (names t) + (locks /ctest) (libraries qcheck containers containers.resp2 threads unix))