NEWS.stable: update

[gnulib.git] / modules / pthread

diff --git a/modules/pthread b/modules/pthread
index 7aaaffa..3a00c77 100644 (file)
--- a/modules/pthread
+++ b/modules/pthread
@@ -13,14 +13,12 @@ configure.ac:
 gl_PTHREAD_CHECK
 
 Makefile.am:
-nodist_pkginclude_HEADERS += $(PTHREAD_H)
-EXTRA_HEADERS += pthread.h
-
 BUILT_SOURCES += $(PTHREAD_H)
 
 # We need the following in order to create <pthread.h> when the system
 # doesn't have one that works with the given compiler.
-pthread.h: pthread.in.h
+if GL_GENERATE_PTHREAD_H
+pthread.h: pthread.in.h $(top_builddir)/config.status
        $(AM_V_GEN)rm -f $@-t $@ && \
        { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
          sed -e 's|@''HAVE_PTHREAD_H''@|$(HAVE_PTHREAD_H)|g' \
@@ -33,6 +31,10 @@ pthread.h: pthread.in.h
              < $(srcdir)/pthread.in.h; \
        } > $@-t && \
        mv $@-t $@
+else
+pthread.h: $(top_builddir)/config.status
+       rm -f $@
+endif
 MOSTLYCLEANFILES += pthread.h pthread.h-t
 
 Include: