Manual install for pthread

diff --git a/extras/contrib/src/Makefile b/extras/contrib/src/Makefile
index d1b99a65c89a038c99bd57aef894039dec67861e..937216e9194e83b46ace3923cc0f09f2074b307e 100644 (file)
--- a/extras/contrib/src/Makefile
+++ b/extras/contrib/src/Makefile
@@ -2060,7 +2060,7 @@ pthreads: pthreads-w32-$(PTHREADS_VERSION)-release.tar.gz
        $(EXTRACT_GZ)
 
 .pthreads: pthreads
-       (cd $<; $(HOSTCC) make $(PTHREADSCONF) GC-inlined)
+       (cd $<; $(HOSTCC) make $(PTHREADSCONF) GC-inlined; cp pthread.h ../../include/; cp *.dll *.a ../../lib/)
        $(INSTALL_NAME)
        touch $@