diff options
Diffstat (limited to 'lang/ocaml/files/patch-ab')
| -rw-r--r-- | lang/ocaml/files/patch-ab | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lang/ocaml/files/patch-ab b/lang/ocaml/files/patch-ab deleted file mode 100644 index 0da08d4bf523..000000000000 --- a/lang/ocaml/files/patch-ab +++ /dev/null @@ -1,10 +0,0 @@ ---- otherlibs/systhreads/Makefile.orig Sat Feb 17 10:02:56 2001 -+++ otherlibs/systhreads/Makefile Sat Feb 17 10:06:16 2001 -@@ -50,7 +50,7 @@ - - threads.cmxa: $(THREAD_OBJS:.cmo=.cmx) - $(CAMLOPT) -a -o threads.cmxa $(THREAD_OBJS:.cmo=.cmx) \ -- -cclib -lthreads -cclib -lunix $(PTHREAD_LINK) -+ -cclib -lthreadsnat -cclib -lunix $(PTHREAD_LINK) - - $(THREAD_OBJS:.cmo=.cmx): ../../ocamlopt |