diff --git a/browser_patches/webkit/build.sh b/browser_patches/webkit/build.sh index eee83ed8fc..a5ee0ae6c8 100755 --- a/browser_patches/webkit/build.sh +++ b/browser_patches/webkit/build.sh @@ -18,7 +18,8 @@ fi if [[ "$(uname)" == "Darwin" ]]; then ./Tools/Scripts/build-webkit --release elif [[ "$(uname)" == "Linux" ]]; then - if ! [[ -d ./WebKitBuild ]]; then + # Check that WebKitBuild exists and is not empty. + if ! [[ (-d ./WebKitBuild) && (-n $(ls -1 ./WebKitBuild/)) ]]; then yes | DEBIAN_FRONTEND=noninteractive ./Tools/Scripts/update-webkitgtk-libs fi ./Tools/Scripts/build-webkit --gtk --release MiniBrowser