summaryrefslogtreecommitdiff
path: root/otherlibs/unix
diff options
context:
space:
mode:
authorPau Ruiz Safont <pau.ruizsafont@cloud.com>2023-02-24 20:31:56 +0000
committerPau Ruiz Safont <pau.ruizsafont@cloud.com>2023-02-24 20:31:56 +0000
commit69a7cdbc03a200ebd9af8e2bec628c5f9c32610f (patch)
tree99e0a266e60148c4e844c886e957ef5a0b24a2ad /otherlibs/unix
parentd71ea3d089ae3c338b8b6e2fb7beb08908076c7a (diff)
downloadocaml-69a7cdbc03a200ebd9af8e2bec628c5f9c32610f.tar.gz
dune: enable building @libs target
Diffstat (limited to 'otherlibs/unix')
-rw-r--r--otherlibs/unix/dune7
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")))