#!/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