mirror of
https://github.com/servo/servo.git
synced 2025-08-23 06:15:35 +01:00
Update web-platform-tests to revision 81962ac8802223d038b188b6f9cb88a0a9c5beee
This commit is contained in:
parent
fe1a057bd1
commit
24183668c4
1960 changed files with 29853 additions and 10555 deletions
|
@ -60,17 +60,13 @@ USER test
|
|||
|
||||
WORKDIR /home/test
|
||||
|
||||
COPY .bashrc /home/test/.bashrc
|
||||
|
||||
COPY start.sh /home/test/start.sh
|
||||
|
||||
# Remove information on how to use sudo on login
|
||||
RUN sudo echo ""
|
||||
|
||||
RUN git clone --depth=1 https://github.com/w3c/web-platform-tests.git
|
||||
|
||||
RUN mkdir -p /home/test/.fonts && \
|
||||
cp web-platform-tests/fonts/Ahem.ttf ~/.fonts && \
|
||||
fc-cache -f -v
|
||||
|
||||
RUN mkdir -p /home/test/artifacts
|
||||
|
||||
WORKDIR /home/test/
|
||||
|
||||
COPY .bashrc /home/test/.bashrc
|
||||
|
||||
COPY start.sh /home/test/start.sh
|
||||
|
|
|
@ -1,14 +1,34 @@
|
|||
#!/bin/bash
|
||||
set -ex
|
||||
|
||||
REMOTE=${1:-https://github.com/w3c/web-platform-tests}
|
||||
BRANCH=${2:-master}
|
||||
REV=${3:-FETCH_HEAD}
|
||||
BROWSER=${4:-all}
|
||||
|
||||
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
|
||||
cd web-platform-tests
|
||||
git pull --depth=50
|
||||
if [[ ! `git rev-parse --verify -q ${REV}` ]];
|
||||
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}
|
||||
fi
|
||||
git checkout -b build ${REV}
|
||||
|
||||
sudo sh -c './wpt make-hosts-file >> /etc/hosts'
|
||||
|
||||
# Install Chome dev
|
||||
deb_archive=google-chrome-unstable_current_amd64.deb
|
||||
wget https://dl.google.com/linux/direct/$deb_archive
|
||||
if [[ $BROWSER == "chrome"* ]] || [[ "$BROWSER" == all ]]
|
||||
then
|
||||
# Install Chrome dev
|
||||
deb_archive=google-chrome-unstable_current_amd64.deb
|
||||
wget https://dl.google.com/linux/direct/$deb_archive
|
||||
|
||||
sudo gdebi -n $deb_archive
|
||||
sudo gdebi -n $deb_archive
|
||||
fi
|
||||
|
||||
sudo Xvfb $DISPLAY -screen 0 ${SCREEN_WIDTH}x${SCREEN_HEIGHT}x${SCREEN_DEPTH} &
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue