aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune6
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index 5a6c7d4..27cf07a 100644
--- a/bin/dune
+++ b/bin/dune
@@ -11,3 +11,9 @@
(modules server)
(libraries relational_engine unix)
(modes byte exe))
+
+(executable
+ (name bench)
+ (modules bench)
+ (libraries relational_engine unix)
+ (modes exe))