diff options
| author | Alasdair Armstrong | 2019-01-03 15:58:31 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-03 15:58:31 +0000 |
| commit | dfbbb4f111082008f26c34986244222d4c869e25 (patch) | |
| tree | 9c565a366c14ebd47d66c1d6ebf8664a96777c34 /src | |
| parent | 25a8a48142cc715c55f11fc80cf3dad6bec1b71d (diff) | |
Comment out bisect coverage in ocamlbuild files
Diffstat (limited to 'src')
| -rw-r--r-- | src/_tags | 4 | ||||
| -rw-r--r-- | src/myocamlbuild.ml | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -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"; |
