diff options
| author | bors-servo <release+servo@mozilla.com> | 2014-04-28 06:07:35 -0400 |
|---|---|---|
| committer | bors-servo <release+servo@mozilla.com> | 2014-04-28 06:07:35 -0400 |
| commit | 6e9d8366b36c10216d8d22a90f095531807f83c0 (patch) | |
| tree | 529d56c76f5c38035df93b3d2f0af436f1c640c7 | |
| parent | b6ed24621ebbeb6866f151e778ace8f80e59fac9 (diff) | |
| parent | 76125bbd514027dbaa257a6969196a1e56dfbf40 (diff) | |
| download | servo-6e9d8366b36c10216d8d22a90f095531807f83c0.tar.gz servo-6e9d8366b36c10216d8d22a90f095531807f83c0.zip | |
auto merge of #2245 : jgraham/servo/make_wptargs, r=Ms2ger
| -rw-r--r-- | mk/check.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/check.mk b/mk/check.mk index 766815d755d..7dd787624f5 100644 --- a/mk/check.mk +++ b/mk/check.mk @@ -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: |