[jhbuild] core-deps-3.8: Enable parallel builds in WebKit



commit 9166756e7fdccd9bbc34ccf61d5a987cdc5654d2
Author: Javier Jardón <javier jardon codethink co uk>
Date:   Wed Feb 20 12:20:27 2013 +0000

    core-deps-3.8: Enable parallel builds in WebKit
    
    The make bug http://savannah.gnu.org/bugs/?30653 has been fixed for
    some time.
    Even a new release of make was not done, this bug only affects
    make 3.82 and Debian and Ubuntu are still on 3.81 (ie: unaffected).
    Also Fedora has been apply the upstream patch in its F17 and F18
    make packages
    
    Fixes https://bugzilla.gnome.org/show_bug.cgi?id=687699

 modulesets/gnome-suites-core-deps-3.8.modules |    7 +------
 1 files changed, 1 insertions(+), 6 deletions(-)
---
diff --git a/modulesets/gnome-suites-core-deps-3.8.modules b/modulesets/gnome-suites-core-deps-3.8.modules
index ec36b85..e042d91 100644
--- a/modulesets/gnome-suites-core-deps-3.8.modules
+++ b/modulesets/gnome-suites-core-deps-3.8.modules
@@ -1004,13 +1004,8 @@
     </dependencies>
   </autotools>
 
-  <!-- bugs that prevent webkit for supporting parallel build:
-       https://bugs.webkit.org/show_bug.cgi?id=79498
-       http://savannah.gnu.org/bugs/?30653
-  -->
   <autotools id="WebKit" makefile="GNUmakefile"
-             autogenargs="--enable-introspection --disable-silent-rules --with-gstreamer=1.0"
-             supports-parallel-builds="no">
+             autogenargs="--enable-introspection --disable-silent-rules --with-gstreamer=1.0">
     <pkg-config>webkitgtk-3.0.pc</pkg-config>
     <branch repo="webkitgtk.org"
             module="webkitgtk-1.11.4.tar.xz" version="1.11.4"


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]