From dfbbb4f111082008f26c34986244222d4c869e25 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 3 Jan 2019 15:58:31 +0000
Subject: Comment out bisect coverage in ocamlbuild files

---
 src/_tags           | 4 ++--
 src/myocamlbuild.ml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/_tags b/src/_tags
index 6747424d..4630bea8 100644
--- a/src/_tags
+++ b/src/_tags
@@ -1,9 +1,9 @@
 true: -traverse, debug, use_menhir
 <**/parser.ml>: bin_annot, annot
-<**/*.ml> and not <**/parser.ml>: bin_annot, annot, coverage
+<**/*.ml> and not <**/parser.ml>: bin_annot, annot
 
 <sail.{byte,native}>: package(zarith), package(linksem), package(lem), package(omd), use_pprint
-<isail.{byte,native}>: package(zarith), package(linenoise), package(linksem), package(lem), package(omd), use_pprint, coverage
+<isail.{byte,native}>: package(zarith), package(linenoise), package(linksem), package(lem), package(omd), use_pprint
 
 <isail.ml>: package(linenoise)
 <elf_loader.ml>: package(linksem)
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index b1f95339..ae45857d 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -79,7 +79,7 @@ let lem_opts = [A "-lib"; P "../gen_lib";
 
 dispatch begin function
 | After_rules ->
-    Bisect_ppx_plugin.handle_coverage ();
+    (* Bisect_ppx_plugin.handle_coverage (); *)
 
     (* ocaml_lib "lem_interp/interp"; *)
     ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib";
-- 
cgit v1.2.3