Reduce dune rules when submodules are checked out

OCamlPro · Jun 14, 2024 · cf8accd · cf8accd
1 parent a25ee62
commit cf8accd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/bench/dune b/bench/dune
@@ -0,0 +1 @@
+(dirs :standard \ klee pie results-*)
diff --git a/bench/testcomp/dune b/bench/testcomp/dune
@@ -1,3 +1,5 @@
+(dirs :standard \ sv-benchmarks)
+
 (executable
  (name testcomp)
  (modules testcomp whitelist)