Fuzzers don't work on MacOS

mirage · Sep 26, 2023 · 2dfed18 · 2dfed18
1 parent 8200e45
commit 2dfed18
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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"}
 ]