mirror of
https://github.com/servo/servo.git
synced 2025-06-24 17:14:33 +01:00
auto merge of #2245 : jgraham/servo/make_wptargs, r=Ms2ger
This commit is contained in:
commit
6e9d8366b3
1 changed files with 1 additions and 1 deletions
|
@ -93,7 +93,7 @@ check-content: contenttest
|
|||
|
||||
.PHONY: check-wpt
|
||||
check-wpt:
|
||||
bash $(S)src/test/wpt/run.sh $(S) $(B)
|
||||
bash $(S)src/test/wpt/run.sh $(S) $(B) $(WPTARGS)
|
||||
|
||||
.PHONY: tidy
|
||||
tidy:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue