dune

mransan · Apr 1, 2024 · c15fc69 · c15fc69
1 parent 5ee370e
commit c15fc69
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)