diff options
Diffstat (limited to 'unmaintained/webkitgtk/webkit-gtk-1.7.90-parallel-make-hack.patch')
| -rw-r--r-- | unmaintained/webkitgtk/webkit-gtk-1.7.90-parallel-make-hack.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/unmaintained/webkitgtk/webkit-gtk-1.7.90-parallel-make-hack.patch b/unmaintained/webkitgtk/webkit-gtk-1.7.90-parallel-make-hack.patch new file mode 100644 index 0000000000..b632ca2791 --- /dev/null +++ b/unmaintained/webkitgtk/webkit-gtk-1.7.90-parallel-make-hack.patch @@ -0,0 +1,21 @@ +Horrible failure of a hack to enable workaround for +https://bugs.webkit.org/show_bug.cgi?id=79498 + +--- a/GNUmakefile.am ++++ b/GNUmakefile.am +@@ -285,6 +285,15 @@ + all-local: stamp-po + $(mkdir_p) $(top_builddir)/$(DEPDIR)/DerivedSources + ++# Horrible hack to enable workaround for parallel make failure ++all-built-sources-local: $(BUILT_SOURCES) autotoolsconfig.h ++ ++all-ltlibraries-local: GNUmakefile $(LTLIBRARIES) ++ ++all-programs-local: GNUmakefile $(PROGRAMS) ++ ++all-data-local: GNUmakefile $(DATA) ++ + # remove built sources and program directories + clean-local: + -rm -rf $(GENPROGRAMS) |