playwright/browser_patches/webkit/clean.sh

#!/bin/bash
set -e
set +x

trap "cd $(pwd -P)" EXIT
cd "$(dirname $0)"
cd "checkout"

if [[ -d ./WebKitBuild ]]; then
  rm -rf ./WebKitBuild/Release
fi
if [[ -d ./WebKitBuild/GTK ]]; then
  rm -rf ./WebKitBuild/GTK/Release
fi
if [[ -d ./WebKitBuild/WPE ]]; then
  rm -rf ./WebKitBuild/WPE/Release
fi
devops: build bots should do clean builds 2019-11-23 11:07:39 +08:00			`#!/bin/bash`
			`set -e`
			`set +x`

			`trap "cd $(pwd -P)" EXIT`
			`cd "$(dirname $0)"`
			`cd "checkout"`

devops: fix webkit build and cleanup on linux 2019-11-23 14:24:14 +08:00			`if [[ -d ./WebKitBuild ]]; then`
			`rm -rf ./WebKitBuild/Release`
			`fi`
chore(webkit): build wpe and gtk to different folders (#616) Second try at #556. Uses absolute paths for the environment variables so that WPEDependencies builds properly. Switches from `WebKitBuildWPE` to `WebKitBuild/WPE` to avoid the need to change the .gitignore. My computer takes a long time to build, but it appears to be working. 2020-01-25 03:54:50 +08:00			`if [[ -d ./WebKitBuild/GTK ]]; then`
			`rm -rf ./WebKitBuild/GTK/Release`
			`fi`
			`if [[ -d ./WebKitBuild/WPE ]]; then`
			`rm -rf ./WebKitBuild/WPE/Release`
			`fi`