1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/bash
set -ex
REMOTE=${1:-https://github.com/web-platform-tests/wpt}
REF=${2:-master}
cd ~
if [ -e /dev/kvm ]; then
# If kvm is present ensure that the test user can access it
# Ideally this could be done by adding the test user to the
# owning group, but then we need to re-login to evaluate the
# group membership. This chmod doesn't affect the host.
sudo chmod a+rw /dev/kvm
fi
if [ ! -d web-platform-tests ]; then
mkdir web-platform-tests
cd web-platform-tests
git init
git remote add origin ${REMOTE}
# Initially we just fetch 50 commits in order to save several minutes of fetching
retry git fetch --quiet --depth=50 --tags origin ${REF}:task_head
git checkout --quiet task_head
fi
|
