mirror of
https://github.com/microsoft/playwright.git
synced 2025-06-26 21:40:17 +00:00
devops: fix webkit build and cleanup on linux
This commit is contained in:
parent
a4d6175760
commit
2a4519ffd9
@ -18,6 +18,9 @@ fi
|
|||||||
if [[ "$(uname)" == "Darwin" ]]; then
|
if [[ "$(uname)" == "Darwin" ]]; then
|
||||||
./Tools/Scripts/build-webkit --release
|
./Tools/Scripts/build-webkit --release
|
||||||
elif [[ "$(uname)" == "Linux" ]]; then
|
elif [[ "$(uname)" == "Linux" ]]; then
|
||||||
|
if ! [[ -d ./WebKitBuild ]]; then
|
||||||
|
yes | DEBIAN_FRONTEND=noninteractive ./Tools/Scripts/update-webkitgtk-libs
|
||||||
|
fi
|
||||||
./Tools/Scripts/build-webkit --gtk --release MiniBrowser
|
./Tools/Scripts/build-webkit --gtk --release MiniBrowser
|
||||||
else
|
else
|
||||||
echo "ERROR: cannot upload on this platform!" 1>&2
|
echo "ERROR: cannot upload on this platform!" 1>&2
|
||||||
|
|||||||
@ -6,4 +6,6 @@ trap "cd $(pwd -P)" EXIT
|
|||||||
cd "$(dirname $0)"
|
cd "$(dirname $0)"
|
||||||
cd "checkout"
|
cd "checkout"
|
||||||
|
|
||||||
rm -rf WebKitBuild
|
if [[ -d ./WebKitBuild ]]; then
|
||||||
|
rm -rf ./WebKitBuild/Release
|
||||||
|
fi
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user