From c15fc699c3afcd125de0e0b4d1099287a24c30c6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 31 Mar 2024 23:51:37 -0400 Subject: [PATCH] dune --- src/dune | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/dune b/src/dune index cc26033e..4dd477ec 100644 --- a/src/dune +++ b/src/dune @@ -1,3 +1,5 @@ (env (_ (flags :standard -warn-error -a+8 -w +a-4-40-41-42-44-48-70))) + +(data_only_dirs runtime-bs)