diff options
Diffstat (limited to 'gnutls/fix-parallel-build.patch')
| -rw-r--r-- | gnutls/fix-parallel-build.patch | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/gnutls/fix-parallel-build.patch b/gnutls/fix-parallel-build.patch deleted file mode 100644 index c63803e8f..000000000 --- a/gnutls/fix-parallel-build.patch +++ /dev/null @@ -1,28 +0,0 @@ -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`; \ - |