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, 20 insertions, 0 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 new file mode 100644 index 00000000000..b4182eaf1f6 --- /dev/null +++ b/Build/source/utils/xindy-new/xindy-2.4-rc1-PATCHES/patch-12-parallel @@ -0,0 +1,20 @@ + 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: ++ |