Merge pull request #40 from jmid/avoid-grep-alternation

jmid · web-flow · commit bf6e8a1c205b · 2025-04-24T18:39:32.000+02:00
Avoid RE alternation to run cleanly on OpenBSD too
diff --git a/test/negative-tests/ppx-negtests.t b/test/negative-tests/ppx-negtests.t
@@ -228,7 +228,7 @@ Instrument and check that it was received
   > )
   > EOF
 
-  $ bash ../filter_dune_build.sh ./test.bc --instrument-with mutaml 2>&1 | grep -v "use-compiler-pp\|no-merge\|Embed errors\|keywords"
+  $ bash ../filter_dune_build.sh ./test.bc --instrument-with mutaml 2>&1 | grep -v "use-compiler-pp" | grep -v "no-merge" | grep -v "Embed errors" | grep -v "keywords"
   ppx.exe [extra_args] [<files>]
     -as-ppx                     Run as a -ppx rewriter (must be the first argument)
     --as-ppx                    Same as -as-ppx
