mirror of
https://github.com/servo/servo.git
synced 2025-08-16 19:05:33 +01:00
Update web-platform-tests to revision 632a3f59238036b6e24b28d47218ba9986ff4c62
This commit is contained in:
parent
cd02ca6c19
commit
fb838278a5
430 changed files with 15017 additions and 508 deletions
|
@ -12,24 +12,29 @@
|
|||
set -ex
|
||||
|
||||
REMOTE=${1:-https://github.com/web-platform-tests/wpt}
|
||||
BRANCH=${2:-master}
|
||||
REV=${3:-FETCH_HEAD}
|
||||
REF=${2:-master}
|
||||
REVISION=${3:-FETCH_HEAD}
|
||||
BROWSER=${4:-all}
|
||||
CHANNEL=${5:-nightly}
|
||||
|
||||
cd ~
|
||||
|
||||
# Initially we just fetch 50 commits in order to save several minutes of fetching
|
||||
git clone ${REMOTE} --single-branch --branch ${BRANCH} --no-checkout -q --depth=50 web-platform-tests
|
||||
mkdir web-platform-tests
|
||||
cd web-platform-tests
|
||||
if [[ ! `git rev-parse --verify -q ${REV}` ]];
|
||||
git init
|
||||
git remote add origin ${REMOTE}
|
||||
|
||||
# Initially we just fetch 50 commits in order to save several minutes of fetching
|
||||
git fetch --quiet --depth=50 origin ${REF}
|
||||
|
||||
if [[ ! `git rev-parse --verify -q ${REVISION}` ]];
|
||||
then
|
||||
# But if for some reason the commit under test isn't in that range, we give in and
|
||||
# fetch everything
|
||||
git fetch -q --unshallow ${REMOTE}
|
||||
git rev-parse --verify ${REV}
|
||||
git rev-parse --verify ${REVISION}
|
||||
fi
|
||||
git checkout -b build ${REV}
|
||||
git checkout -b build ${REVISION}
|
||||
|
||||
sudo sh -c './wpt make-hosts-file >> /etc/hosts'
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue