X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fpthread;h=3a00c772140225727c9d01832ac1678d3678f508;hb=76d82d2d7f5ba1a69da6aaa71ff170f5a90a6c94;hp=2a729397aa828bf203147c2ebc4ecb91984640ff;hpb=b4b6391081d1173278396afdf098be68b1768752;p=pspp

diff --git a/modules/pthread b/modules/pthread
index 2a729397aa..3a00c77214 100644
--- a/modules/pthread
+++ b/modules/pthread
@@ -17,6 +17,7 @@ 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.
+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! */'; \
@@ -30,6 +31,10 @@ pthread.h: pthread.in.h $(top_builddir)/config.status
 	      < $(srcdir)/pthread.in.h; \
 	} > $@-t && \
 	mv $@-t $@
+else
+pthread.h: $(top_builddir)/config.status
+	rm -f $@
+endif
 MOSTLYCLEANFILES += pthread.h pthread.h-t
 
 Include: