From a7f00399035cf4694e7948996556fc8f9c05be7c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 4 Mar 2022 13:51:07 -0500 Subject: [PATCH] fix CI --- examples/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/dune b/examples/dune index d19bd20d..92c22b90 100644 --- a/examples/dune +++ b/examples/dune @@ -43,7 +43,7 @@ (rule (targets vfs.ml) - (enabled_if (not (= %{system} "linux"))) + (enabled_if (<> %{system} "linux")) (action (with-stdout-to %{targets}