Skip to content

Commit

Permalink
Use (optional) as a trick to workaround Dune 4821
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jul 22, 2021
1 parent f714723 commit 88bb9ca
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/stubs/win32/dune
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@
(c_library_flags (:standard
(:include c-libraries.sexp)))
(wrapped false)
; This is a temporary trick to workaround Dune Issue 4821
(optional)
(enabled_if (= %{os_type} "Win32")))

(rule
Expand Down

0 comments on commit 88bb9ca

Please sign in to comment.