X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=configure.in;h=297c4e5e71053e755578ced3736fdc5a24e3dce6;hb=b866f48cda3ad750790a71658f5a13612f93241f;hp=5bcb4c0594674d498dfa779241bf2656f05b52e2;hpb=31d45495fda9a110fd348f8b492761c28b434ec9;p=tatoo.git

diff --git a/configure.in b/configure.in
index 5bcb4c0..297c4e5 100644
--- a/configure.in
+++ b/configure.in
@@ -168,7 +168,7 @@ fi
 
 #compilation options
 #debugging mode
-OCAMLFLAGS=$OCAMLFLAGS
+OCAMLFLAGS="-principal -warn-error @3 $OCAMLFLAGS"
 CAMLP4FLAGS=$CAMLP4FLAGS
 OCAMLCFLAGS=$OCAMLCFLAGS
 OCAMLOPTFLAGS=$OCAMLOPTFLAGS