From 69a7cdbc03a200ebd9af8e2bec628c5f9c32610f Mon Sep 17 00:00:00 2001 From: Pau Ruiz Safont Date: Fri, 24 Feb 2023 20:31:56 +0000 Subject: dune: enable building @libs target --- otherlibs/unix/dune | 7 ------- 1 file changed, 7 deletions(-) (limited to 'otherlibs/unix') diff --git a/otherlibs/unix/dune b/otherlibs/unix/dune index f60654ac2a..e1498f9b4b 100644 --- a/otherlibs/unix/dune +++ b/otherlibs/unix/dune @@ -32,13 +32,6 @@ strofaddr symlink termios time times truncate umask unixsupport unlink utimes 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"))) -- cgit v1.2.1