chromiumBeta: Fix the build

This patch was also backported to M81 [0][1].

[0]: https://chromium-review.googlesource.com/c/chromium/src/+/2091896
[1]: bbf0fad592
This commit is contained in:
Michael Weiss 2020-04-07 12:28:39 +02:00
parent 4c025622e2
commit ff3bc51d2b
No known key found for this signature in database
GPG key ID: 5BE487C4D4771D83

View file

@ -149,7 +149,7 @@ let
#
# ++ optionals (channel == "dev") [ ( githubPatch "<patch>" "0000000000000000000000000000000000000000000000000000000000000000" ) ]
# ++ optional (versionRange "68" "72") ( githubPatch "<patch>" "0000000000000000000000000000000000000000000000000000000000000000" )
] ++ optionals (versionRange "80" "82.0.4076.0") [
] ++ optionals (versionRange "80" "81.0.4044.56") [
# fix race condition in the interaction with pulseaudio
(githubPatch "704dc99bd05a94eb61202e6127df94ddfd571e85" "0nzwzfwliwl0959j35l0gn94sbsnkghs3dh1b9ka278gi7q4648z")
] ++ optionals (useVaapi) [