From 2dfed18e0b42c2cdbc8c9e7dd2eae7a986d4326b Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Tue, 26 Sep 2023 15:55:31 +0200 Subject: [PATCH] Fuzzers don't work on MacOS --- uri-re.opam | 2 +- uri.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/uri-re.opam b/uri-re.opam index eed0861..e43899a 100644 --- a/uri-re.opam +++ b/uri-re.opam @@ -25,6 +25,6 @@ depends: [ build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"} ] messages: [ "Deprecated. This package is outdated, you should consider using uri instead" ] diff --git a/uri.opam b/uri.opam index bd4e5bb..04219dc 100644 --- a/uri.opam +++ b/uri.opam @@ -24,5 +24,5 @@ depends: [ build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] - ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"} ]