summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
Diffstat (limited to '_oasis')
-rw-r--r--_oasis2
1 files changed, 1 insertions, 1 deletions
diff --git a/_oasis b/_oasis
index 56d468e..17612e7 100644
--- a/_oasis
+++ b/_oasis
@@ -14,11 +14,11 @@ Plugins: META (0.4), DevFiles (0.4)
Library "vytree"
Path: src
Modules: Vytree
-# InternalModules: InternalFoo
Executable "vyconfd"
Path: src
MainIs: vyconfd.ml
+ CompiledObject: best
Executable "vyconf_tree_test"
Path: test