diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/dune | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -11,3 +11,9 @@ (modules server) (libraries relational_engine unix) (modes byte exe)) + +(executable + (name bench) + (modules bench) + (libraries relational_engine unix) + (modes exe)) |
