diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2008-10-08 13:09:39 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2008-10-08 13:09:39 +0000 |
| commit | 2b0441401a9686529cfe8d97cf73ecc09a51bef5 (patch) | |
| tree | 1e1bf18bb6810b34696e0e4329a60c3f6c1bcabb /otherlibs/threads | |
| parent | 29e590ccb9fe1a9330a6809a972a0e84e80653f7 (diff) | |
| download | ocaml-2b0441401a9686529cfe8d97cf73ecc09a51bef5.tar.gz | |
merge changes between 3.10.2 and the end of branch 3.10
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/threads')
| -rw-r--r-- | otherlibs/threads/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 6a060ba18a..0e6ef86ff0 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -84,10 +84,10 @@ marshal.cmi: $(LIB)/marshal.cmi ln -s $(LIB)/marshal.cmi marshal.cmi unix.mli: $(UNIXLIB)/unix.mli - ln -sf $(UNIXLIB)/unix.mli unix.mli + ln -s -f $(UNIXLIB)/unix.mli unix.mli unix.cmi: $(UNIXLIB)/unix.cmi - ln -sf $(UNIXLIB)/unix.cmi unix.cmi + ln -s -f $(UNIXLIB)/unix.cmi unix.cmi unix.cmo: unix.mli unix.cmi $(UNIXLIB)/unixLabels.cmo $(CAMLC) ${COMPFLAGS} -c unix.ml |