summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-01-03 15:58:31 +0000
committerAlasdair Armstrong2019-01-03 15:58:31 +0000
commitdfbbb4f111082008f26c34986244222d4c869e25 (patch)
tree9c565a366c14ebd47d66c1d6ebf8664a96777c34 /src
parent25a8a48142cc715c55f11fc80cf3dad6bec1b71d (diff)
Comment out bisect coverage in ocamlbuild files
Diffstat (limited to 'src')
-rw-r--r--src/_tags4
-rw-r--r--src/myocamlbuild.ml2
2 files changed, 3 insertions, 3 deletions
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";