diff options
Diffstat (limited to 'Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel')
-rw-r--r-- | Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel b/Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel deleted file mode 100644 index b4182eaf1f6..00000000000 --- a/Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel +++ /dev/null @@ -1,20 +0,0 @@ - More problems with aggressive parallel builds (make -j). - - The three rules: - %-test.xdy : %.pl - $(PERL) -I$(srcdir) $< $* - %-doc.tex : %.pl - $(PERL) -I$(srcdir) $< $* - %.xdy : %.pl - $(PERL) -I$(srcdir) $< $* - must not run simultaneously or %-test.xdy could be destroyed. - -diff -ur -x Makefile.in xindy.orig/make-rules/alphabets/Makefile.am xindy/make-rules/alphabets/Makefile.am ---- xindy.orig/make-rules/alphabets/Makefile.am 2009-11-25 14:01:03.000000000 +0100 -+++ xindy/make-rules/alphabets/Makefile.am 2009-12-02 16:42:50.000000000 +0100 -@@ -1264,3 +1264,5 @@ - - CLEANFILES = $(ALPHABETS) $(DOC_CLEAN) - -+.NOTPARALLEL: -+ |