Skip to content

Commit

Permalink
fix: Always have a target non-Windows/non-MacOS
Browse files Browse the repository at this point in the history
  • Loading branch information
phated committed Jan 5, 2022
1 parent dcac899 commit cda71d6
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion dune
Expand Up @@ -69,7 +69,9 @@
(deps
(source_tree binaryen))
(enabled_if
(= %{system} linux))
(and
(<> %{system} macosx)
(<> %{system} mingw64)))
(action
(no-infer
(progn
Expand Down

0 comments on commit cda71d6

Please sign in to comment.