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

diff --git a/modules/stdarg b/modules/stdarg
index 10ac474106..6cb1db8644 100644
--- a/modules/stdarg
+++ b/modules/stdarg
@@ -23,6 +23,7 @@ BUILT_SOURCES += $(STDARG_H)
 
 # We need the following in order to create <stdarg.h> when the system
 # doesn't have one that works with the given compiler.
+if GL_GENERATE_STDARG_H
 stdarg.h: stdarg.in.h $(top_builddir)/config.status
 	$(AM_V_GEN)rm -f $@-t $@ && \
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
@@ -33,6 +34,10 @@ stdarg.h: stdarg.in.h $(top_builddir)/config.status
 	      < $(srcdir)/stdarg.in.h; \
 	} > $@-t && \
 	mv $@-t $@
+else
+stdarg.h: $(top_builddir)/config.status
+	rm -f $@
+endif
 MOSTLYCLEANFILES += stdarg.h stdarg.h-t
 
 Include: