diff options
author | Giovanni Santini | 2018-05-29 22:36:20 +0200 |
---|---|---|
committer | Giovanni Santini | 2018-05-29 22:36:20 +0200 |
commit | 08f8da9f25b81dccf20d5605f65b939dd90043a6 (patch) | |
tree | f335bd0548ff37f032df529d7776fecce9d25263 | |
parent | 563babdccf447d754cac86af936abd3cf6bf5704 (diff) | |
download | aur-08f8da9f25b81dccf20d5605f65b939dd90043a6.tar.gz |
upgpkg: webkit2gtk-mse 2.20.2-2
- Fix issue when building on machines with small number of cores
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = webkit2gtk-mse pkgdesc = GTK+ Web content engine library - MSE enabled pkgver = 2.20.2 - pkgrel = 1 + pkgrel = 2 url = https://webkitgtk.org/ arch = i686 arch = x86_64 @@ -5,7 +5,7 @@ pkgname=webkit2gtk-mse _pkgname=webkit2gtk pkgver=2.20.2 -pkgrel=1 +pkgrel=2 pkgdesc="GTK+ Web content engine library - MSE enabled" arch=(i686 x86_64) url="https://webkitgtk.org/" @@ -47,6 +47,10 @@ build() { -DPYTHON_EXECUTABLE=/usr/bin/python2 \ -DENABLE_MEDIA_SOURCE=ON \ ../webkitgtk-$pkgver + # Small issue happening when building, see: https://github.com/NixOS/nixpkgs/issues/37878 + # Thanks for the workaround! + make JavaScriptCoreForwardingHeaders WTFForwardingHeaders + # Now build as usual make } |