From 11529ea6ff859f5288ad2a83d487cb5283cbe28b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 14 Sep 2017 09:09:05 +0200 Subject: [PATCH] update compile flags --- .merlin | 2 +- _tags | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.merlin b/.merlin index a047e25..68e740a 100644 --- a/.merlin +++ b/.merlin @@ -7,4 +7,4 @@ B _build/bench/ PKG oUnit qcheck PKG benchmark FLG -safe-string -FLG -w +a -w -4 -w -44 +FLG -w+a-4-44-48-60@8 diff --git a/_tags b/_tags index 493c238..fd66075 100644 --- a/_tags +++ b/_tags @@ -27,8 +27,8 @@ : pkg_benchmark : use_sequence # OASIS_STOP -true: bin_annot -<**/*.ml>: warn_A, warn(-4) +true: bin_annot, color(always) +<**/*.ml>: warn(+a-4-44-48@8) true: mark_tag_used <**/*.cmx>: optimize(3) : nolabels