remove bisect from dune

mirleft · Jun 28, 2019 · 428d19d · 428d19d
1 parent 1bdc0f6
commit 428d19d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/lib/dune b/lib/dune
@@ -5,5 +5,5 @@
                   public_key private_key crl distinguished_name algorithm
                   extension pem signing_request general_name)
  (flags (:standard -safe-string))
- (libraries asn1-combinators rresult fmt ptime cstruct nocrypto astring gmap domain-name)
- (preprocess (pps bisect_ppx)))
+ (libraries asn1-combinators rresult fmt ptime cstruct nocrypto astring gmap
+            domain-name))
diff --git a/tests/dune b/tests/dune
@@ -1,5 +1,4 @@
 (test
  (name tests)
  (deps (source_tree regression) (source_tree testcertificates) (source_tree crl))
- (libraries x509 alcotest cstruct-unix ptime.clock.os nocrypto.unix)
- (preprocess (pps bisect_ppx)))
+ (libraries x509 alcotest cstruct-unix ptime.clock.os nocrypto.unix))