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

updated build.sh to support WKDEBUG

Browse source
This commit is contained in:
Yury Semikhatsky 2019-12-23 13:16:50 -08:00
parent 64ac60b19f
commit ab0b39cb7a
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
browser_patches/webkit/build.sh
View file

@ -6,14 +6,19 @@ trap "cd $(pwd -P)" EXIT
cd "$(dirname $0)"
cd "checkout"
BUILD_TYPE=--release
if [[ -v WKDEBUG ]]; then
BUILD_TYPE=--debug
fi
if [[ "$(uname)" == "Darwin" ]]; then
./Tools/Scripts/build-webkit --release --touch-events
./Tools/Scripts/build-webkit $BUILD_TYPE --touch-events
elif [[ "$(uname)" == "Linux" ]]; 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 --touch-events MiniBrowser
./Tools/Scripts/build-webkit --gtk $BUILD_TYPE --touch-events MiniBrowser
else
echo "ERROR: cannot upload on this platform!" 1>&2
exit 1;