diff options
Diffstat (limited to 'modules/argz')
| -rw-r--r-- | modules/argz | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/modules/argz b/modules/argz index 5f9c7499d1..0c56ac7685 100644 --- a/modules/argz +++ b/modules/argz @@ -22,12 +22,17 @@ BUILT_SOURCES += $(ARGZ_H) # We need the following in order to create <argz.h> when the system # doesn't have one that works with the given compiler. -argz.h: argz.in.h +if GL_GENERATE_ARGZ_H +argz.h: argz.in.h $(top_builddir)/config.status $(AM_V_GEN)rm -f $@-t $@ && \ { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \ cat $(srcdir)/argz.in.h; \ } > $@-t && \ mv -f $@-t $@ +else +argz.h: $(top_builddir)/config.status + rm -f $@ +endif MOSTLYCLEANFILES += argz.h argz.h-t Include: |