Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

devops: fix build scripts

Browse source
This commit is contained in:
Andrey Lushnikov 2019-11-19 16:58:09 -08:00
parent 4e30f87084
commit bfcd92da7e
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
browser_patches/firefox/build.sh
View file

@ -3,7 +3,8 @@ set -e
set +x set +x
trap "cd $(pwd -P)" EXIT trap "cd $(pwd -P)" EXIT
cd checkout cd "$(dirname $0)"
cd "checkout"
if ! [[ $(git rev-parse --abbrev-ref HEAD) == "pwdev" ]]; then if ! [[ $(git rev-parse --abbrev-ref HEAD) == "pwdev" ]]; then
echo "ERROR: Cannot build any branch other than PWDEV" echo "ERROR: Cannot build any branch other than PWDEV"

3
browser_patches/webkit/build.sh
View file

@ -3,7 +3,8 @@ set -e
set +x set +x
trap "cd $(pwd -P)" EXIT trap "cd $(pwd -P)" EXIT
cd checkout cd "$(dirname $0)"
cd "checkout"
if ! [[ $(git rev-parse --abbrev-ref HEAD) == "pwdev" ]]; then if ! [[ $(git rev-parse --abbrev-ref HEAD) == "pwdev" ]]; then
echo "ERROR: Cannot build any branch other than PWDEV" echo "ERROR: Cannot build any branch other than PWDEV"