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

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