mirror of
https://github.com/microsoft/playwright.git
synced 2025-06-26 21:40:17 +00:00
a80fa08698
This moves default Firefox and WebKit checkouts to $HOME folder, unless browser specific env variables are specified. In other words: - Firefox checkouts goes to `$HOME/firefox` unless there's a `$FF_CHECKOUT_PATH` that specifies a custom location. - WebKit checkout goes to `$HOME/webkit` unless there's a `$WK_CHECKOUT_PATH` that specifies a custom location. With this change, all build bots will now re-use checkouts between builds, which should speed up compilation.
28 lines
552 B
Bash
Executable File
28 lines
552 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
set +x
|
|
|
|
trap "cd $(pwd -P)" EXIT
|
|
cd "$(dirname "$0")"
|
|
|
|
if [[ ! -z "${WK_CHECKOUT_PATH}" ]]; then
|
|
cd "${WK_CHECKOUT_PATH}"
|
|
echo "WARNING: checkout path from WK_CHECKOUT_PATH env: ${WK_CHECKOUT_PATH}"
|
|
else
|
|
cd "$HOME/webkit"
|
|
fi
|
|
|
|
if [[ "$(uname)" == "Darwin" ]]; then
|
|
rm -rf ./WebKitBuild
|
|
else
|
|
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
|
|
fi
|