From ec19231fb997acbc040d573efb2873caf35ffd9f Mon Sep 17 00:00:00 2001
From: Nicolas Pouillard <np@nicolaspouillard.fr>
Date: Fri, 16 Feb 2007 09:54:55 +0000
Subject: [PATCH] Fix the otherlibs/threads/Makefile to avoid useless
 re-compilations

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 otherlibs/threads/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile
index fa9050afa..7c546c449 100644
--- a/otherlibs/threads/Makefile
+++ b/otherlibs/threads/Makefile
@@ -82,10 +82,13 @@ marshal.mli: $(LIB)/marshal.mli
 marshal.cmi: $(LIB)/marshal.cmi
 	ln -s $(LIB)/marshal.cmi marshal.cmi
 
-unix.cmo: $(UNIXLIB)/unix.mli $(UNIXLIB)/unix.cmi $(UNIXLIB)/unixLabels.cmo links
-links:
+unix.mli: $(UNIXLIB)/unix.mli
 	ln -sf $(UNIXLIB)/unix.mli unix.mli
+
+unix.cmi: $(UNIXLIB)/unix.cmi
 	ln -sf $(UNIXLIB)/unix.cmi unix.cmi
+
+unix.cmo: unix.mli unix.cmi $(UNIXLIB)/unixLabels.cmo 
 	$(CAMLC) ${COMPFLAGS} -c unix.ml
 
 partialclean: