Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

devops: fix webkit build on ubuntu (#3134)

Browse source 
Sometimes we actually pass one empty argument.
This commit is contained in:
Andrey Lushnikov 2020-07-23 16:59:45 -07:00 committed by GitHub
parent 059004b179
commit ae574b302f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
browser_patches/webkit/build.sh
View file

@ -24,7 +24,7 @@ if [[ "$(uname)" == "Darwin" ]]; then
./Tools/Scripts/build-webkit --release --touch-events --orientation-events
elif [[ "$(uname)" == "Linux" ]]; then
cd "checkout"
if [[ $# == 0 ]]; then
if [[ $# == 0 || (-z "$1") ]]; then
echo
echo BUILDING: GTK and WPE
echo