From b54a7c66a6e7aca316ae4f638c4ea24e2d8ca338 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 20 May 2022 16:02:32 +0200
Subject: [PATCH] [dune] fix subdir inclusion in parsing

---
 src/kernel_internals/parsing/tests/dune | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/kernel_internals/parsing/tests/dune

diff --git a/src/kernel_internals/parsing/tests/dune b/src/kernel_internals/parsing/tests/dune
new file mode 100644
index 00000000000..ff757cb8ca2
--- /dev/null
+++ b/src/kernel_internals/parsing/tests/dune
@@ -0,0 +1 @@
+(include_subdirs no)
-- 
GitLab