Skip to content

Commit

Permalink
Update src/core/dune
Browse files Browse the repository at this point in the history
Co-authored-by: David Allsopp <[email protected]>
  • Loading branch information
kit-ty-kate and dra27 authored Sep 13, 2024
1 parent d67dced commit 9805140
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/core/dune
Original file line number Diff line number Diff line change
Expand Up @@ -21,11 +21,11 @@

(rule
(enabled_if (< %{ocaml_version} "5.0"))
(action (copy opamStubs.ocaml4.ml opamStubs.win32.ml)))
(action (copy# opamStubs.ocaml4.ml opamStubs.win32.ml)))

(rule
(enabled_if (>= %{ocaml_version} "5.0"))
(action (copy opamStubs.ocaml5.ml opamStubs.win32.ml)))
(action (copy# opamStubs.ocaml5.ml opamStubs.win32.ml)))

(rule
(write-file opamCoreConfigDeveloper.ml
Expand Down

0 comments on commit 9805140

Please sign in to comment.