diff options
Diffstat (limited to 'tests/wpt/run.py')
| -rw-r--r-- | tests/wpt/run.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/wpt/run.py b/tests/wpt/run.py index 0ee62500f73..b1b158e63ab 100644 --- a/tests/wpt/run.py +++ b/tests/wpt/run.py @@ -49,7 +49,10 @@ def set_defaults(paths, kwargs): if kwargs["binary"] is None: bin_dir = "release" if kwargs["release"] else "debug" - bin_path = servo_path("target", bin_dir, "servo") + bin_name = "servo" + if sys.platform == "win32": + bin_name += ".exe" + bin_path = servo_path("target", bin_dir, bin_name) kwargs["binary"] = bin_path |