Permalink
Browse files

Add warning flag

  • Loading branch information...
1 parent a8b1840 commit a062eb91ea4990e33ee91b2059ec2c2756c2826c @andrenth committed Jul 30, 2012
Showing with 2 additions and 0 deletions.
  1. +2 −0 _tags
View
2 _tags
@@ -24,3 +24,5 @@
"lib/dllsrs_stubs.so": oasis_library_srs_cclib
<lib/srs.{cma,cmxa}>: use_libsrs_stubs
# OASIS_STOP
+<*/*.ml>: annot
+<*/*.ml>: warn_error_A

0 comments on commit a062eb9

Please sign in to comment.