webkitgtk: fix non-deterministic build failure
The build sometimes fails, mostly when using a single core. This is a simple stopgap, see upstream bug: https://bugs.webkit.org/show_bug.cgi?id=183788
This commit is contained in:
parent
39424cfe0d
commit
5058529572
@ -39,6 +39,12 @@ stdenv.mkDerivation rec {
|
|||||||
patchShebangs .
|
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 = [
|
cmakeFlags = [
|
||||||
"-DPORT=GTK"
|
"-DPORT=GTK"
|
||||||
"-DUSE_LIBHYPHEN=0"
|
"-DUSE_LIBHYPHEN=0"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user