diff options
Diffstat (limited to 'testing/web-platform/tests/tools/docker/start.sh')
-rwxr-xr-x | testing/web-platform/tests/tools/docker/start.sh | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testing/web-platform/tests/tools/docker/start.sh b/testing/web-platform/tests/tools/docker/start.sh new file mode 100755 index 0000000000..3427670cc9 --- /dev/null +++ b/testing/web-platform/tests/tools/docker/start.sh @@ -0,0 +1,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 |