diff options
Diffstat (limited to 'gnutls/fix-parallel-build.patch')
| -rw-r--r-- | gnutls/fix-parallel-build.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnutls/fix-parallel-build.patch b/gnutls/fix-parallel-build.patch new file mode 100644 index 000000000..c63803e8f --- /dev/null +++ b/gnutls/fix-parallel-build.patch @@ -0,0 +1,28 @@ +From: Nikos Mavrogiannopoulos <nmav@gnutls.org> +Date: Sun, 22 Jan 2012 11:29:15 +0000 (+0100) +Subject: enums.texi is not run multiple times. Suggested by Eli Zaretskii. +X-Git-Url: http://git.savannah.gnu.org/gitweb/?p=gnutls.git;a=commitdiff_plain;h=4aeea362549ccd153f1d367828158201cfa8327a + +enums.texi is not run multiple times. Suggested by Eli Zaretskii. +--- + +diff --git a/doc/Makefile.am b/doc/Makefile.am +index 4189b9e..e0aa141 100644 +--- a/doc/Makefile.am ++++ b/doc/Makefile.am +@@ -297,10 +297,13 @@ ENUMS += enums/gnutls_x509_subject_alt_name_t + gnutls_TEXINFOS += $(ENUMS) + DISTCLEANFILES += $(ENUMS) + +-$(ENUMS): enums.texi ++stamp_enums: enums.texi + $(MAKE) compare-makefile + -mkdir enums + $(srcdir)/scripts/split-texi.pl enums enum < enums.texi ++ echo $@ > $@ ++ ++$(ENUMS): stamp_enums + + compare-makefile: + ENUMS=`grep '^@c ' enums.texi | sed 's/@c //g' | sort`; \ + |