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 /PKGBUILD | |
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
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 } |