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

auto merge of #2162 : Ms2ger/servo/wpt-objdir, r=jdm

Browse source
This commit is contained in:
bors-servo 2014-04-18 11:16:16 -04:00
commit c7976b1e87
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mk/check.mk
View file

@ -93,7 +93,7 @@ check-content: contenttest
.PHONY: check-wpt
check-wpt:
bash $(S)src/test/wpt/run.sh $(S)
bash $(S)src/test/wpt/run.sh $(S) $(B)
.PHONY: tidy
tidy:

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

@ -2,7 +2,7 @@
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
cd $1/build
cd $2
test -d _virtualenv || virtualenv _virtualenv
test -d $1/src/test/wpt/metadata || mkdir -p $1/src/test/wpt/metadata
@ -10,4 +10,4 @@ test -d $1/src/test/wpt/prefs || mkdir -p $1/src/test/wpt/prefs
source _virtualenv/bin/activate
(python -c "import html5lib" &>/dev/null) || pip install html5lib
(python -c "import wptrunner" &>/dev/null) || pip install wptrunner
python $1/src/test/wpt/run.py
python $1/src/test/wpt/run.py --binary $2/../servo