2019-11-22 19:07:39 -08:00
|
|
|
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
set +x
|
|
|
|
|
|
|
|
trap "cd $(pwd -P)" EXIT
|
2021-08-07 15:32:18 +03:00
|
|
|
cd "$(dirname "$0")"
|
2020-12-07 08:42:20 -08:00
|
|
|
|
|
|
|
if [[ ! -z "${WK_CHECKOUT_PATH}" ]]; then
|
|
|
|
cd "${WK_CHECKOUT_PATH}"
|
|
|
|
echo "WARNING: checkout path from WK_CHECKOUT_PATH env: ${WK_CHECKOUT_PATH}"
|
|
|
|
else
|
2021-10-14 10:20:06 -07:00
|
|
|
cd "$HOME/webkit"
|
2020-12-07 08:42:20 -08:00
|
|
|
fi
|
2019-11-22 19:07:39 -08:00
|
|
|
|
2021-03-29 23:48:34 -07:00
|
|
|
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
|
2021-10-14 10:20:06 -07:00
|
|
|
fi
|