Merge pull request #38375 from hedning/webkitgtk-fix-build-failure

webkitgtk: fix non-deterministic build failure
This commit is contained in:
Jan Tojnar 2018-04-03 17:20:15 +02:00 committed by GitHub
commit 74839720f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39,6 +39,12 @@ stdenv.mkDerivation rec {
patchShebangs .
'';
postConfigure = ''
# A stopgap for a non-deterministic build failure when using only one core
# Upstream bug: https://bugs.webkit.org/show_bug.cgi?id=183788#c4
ninja JavaScriptCoreForwardingHeaders WTFForwardingHeaders
'';
cmakeFlags = [
"-DPORT=GTK"
"-DUSE_LIBHYPHEN=0"