diff options
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/dune | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/otherlibs/unix/dune b/otherlibs/unix/dune index f60654ac2a..e1498f9b4b 100644 --- a/otherlibs/unix/dune +++ b/otherlibs/unix/dune @@ -33,13 +33,6 @@ wait write)) (rule - (action (copy unix_unix.ml unix.ml)) - (enabled_if (<> %{os_type} "Win32"))) -(rule - (action (copy unix_win32.ml unix.ml)) - (enabled_if (= %{os_type} "Win32"))) - -(rule (action (copy accept_unix.c accept.c)) (enabled_if (<> %{os_type} "Win32"))) (rule (action (copy bind_unix.c bind.c)) (enabled_if (<> %{os_type} "Win32"))) |