2019-11-23 06:07:39 +03:00
|
|
|
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
set +x
|
|
|
|
|
|
|
|
trap "cd $(pwd -P)" EXIT
|
|
|
|
cd "$(dirname $0)"
|
2020-12-07 19:42:20 +03:00
|
|
|
|
|
|
|
if [[ ! -z "${WK_CHECKOUT_PATH}" ]]; then
|
|
|
|
cd "${WK_CHECKOUT_PATH}"
|
|
|
|
echo "WARNING: checkout path from WK_CHECKOUT_PATH env: ${WK_CHECKOUT_PATH}"
|
|
|
|
else
|
|
|
|
cd "checkout"
|
|
|
|
fi
|
2019-11-23 06:07:39 +03:00
|
|
|
|
2019-11-23 09:24:14 +03:00
|
|
|
if [[ -d ./WebKitBuild ]]; then
|
|
|
|
rm -rf ./WebKitBuild/Release
|
|
|
|
fi
|
2020-01-24 22:54:50 +03:00
|
|
|
if [[ -d ./WebKitBuild/GTK ]]; then
|
|
|
|
rm -rf ./WebKitBuild/GTK/Release
|
|
|
|
fi
|
|
|
|
if [[ -d ./WebKitBuild/WPE ]]; then
|
|
|
|
rm -rf ./WebKitBuild/WPE/Release
|
|
|
|
fi
|