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

diff --git a/modules/netinet_in b/modules/netinet_in
index b52aa4d9c1..da680810bc 100644
--- a/modules/netinet_in
+++ b/modules/netinet_in
@@ -18,6 +18,7 @@ BUILT_SOURCES += $(NETINET_IN_H)
 
 # We need the following in order to create <netinet/in.h> when the system
 # doesn't have one.
+if GL_GENERATE_NETINET_IN_H
 netinet/in.h: netinet_in.in.h $(top_builddir)/config.status
 	$(AM_V_at)$(MKDIR_P) netinet
 	$(AM_V_GEN)rm -f $@-t $@ && \
@@ -30,6 +31,10 @@ netinet/in.h: netinet_in.in.h $(top_builddir)/config.status
 	      < $(srcdir)/netinet_in.in.h; \
 	} > $@-t && \
 	mv $@-t $@
+else
+netinet/in.h: $(top_builddir)/config.status
+	rm -f $@
+endif
 MOSTLYCLEANFILES += netinet/in.h netinet/in.h-t
 MOSTLYCLEANDIRS += netinet