Merge pull request #5 from avsm/oasis-tags

Build with debug symbols and annotation/.cmt files
andrenth · Nov 27, 2013 · b44c595 · b44c595
2 parents 22e1e2f + 8e6c7de
commit b44c595
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_tags b/_tags
@@ -109,3 +109,4 @@
 <lib_test/*.ml>: annot
 <lib_test/*.ml>: warn_error_A
 #<lib_test/*.ml>: lwt_debug
+true: debug, annot, bin_annot