From ab0b39cb7a538148995d839a76189d2e1420c5c9 Mon Sep 17 00:00:00 2001 From: Yury Semikhatsky Date: Mon, 23 Dec 2019 13:16:50 -0800 Subject: [PATCH] updated build.sh to support WKDEBUG --- browser_patches/webkit/build.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/browser_patches/webkit/build.sh b/browser_patches/webkit/build.sh index 1cb3ebadb7..54b6807885 100755 --- a/browser_patches/webkit/build.sh +++ b/browser_patches/webkit/build.sh @@ -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;