aboutsummaryrefslogtreecommitdiffstats
path: root/bin/dune
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--bin/dune8
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/dune b/bin/dune
index 7ce0e91..2a0d1c0 100644
--- a/bin/dune
+++ b/bin/dune
@@ -5,11 +5,3 @@
(libraries relational_engine unix)
(link_deps ../shared/shabptree/sakura_shabptree.dll)
(modes byte exe))
-
-(executable
- (name tree)
- (public_name sakura-tree)
- (modules tree)
- (libraries relational_engine unix)
- (link_deps ../shared/shabptree/sakura_shabptree.dll)
- (modes byte exe))