Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Emergency fix for broken tree (mozlog update)

Browse source
This commit is contained in:
Manish Goregaokar 2014-08-05 02:38:25 +05:30
parent 980ff21f19
commit a8ce441437
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/wpt/run.sh
View file

@ -16,6 +16,8 @@ source _virtualenv/bin/activate
if [[ $* == *--update-manifest* ]]; then if [[ $* == *--update-manifest* ]]; then
(python -c "import html5lib" &>/dev/null) || pip install html5lib (python -c "import html5lib" &>/dev/null) || pip install html5lib
fi fi
(python -c "import mozlog" &>/dev/null) || pip install mozlog==2.1 #Temporary fix for broken tree
(python -c "import wptrunner" &>/dev/null) || pip install 'wptrunner==1.0' (python -c "import wptrunner" &>/dev/null) || pip install 'wptrunner==1.0'
python $servo_root/src/test/wpt/run.py \ python $servo_root/src/test/wpt/run.py \