diff options
| author | switchpiggy <alanxiao211@gmail.com> | 2023-04-20 22:49:35 -0700 |
|---|---|---|
| committer | Martin Robinson <mrobinson@igalia.com> | 2023-04-23 18:31:35 +0200 |
| commit | 6cb656059d47d12acd023efa8314391b437cad42 (patch) | |
| tree | 2f7cd88831ba38d4a584d31342178612204345db /python/wpt/run.py | |
| parent | 26f6c1c34babe933e41e7a6bbd864c9552fcb079 (diff) | |
| download | servo-6cb656059d47d12acd023efa8314391b437cad42.tar.gz servo-6cb656059d47d12acd023efa8314391b437cad42.zip | |
Fixed bug where test-wpt was unable to run on windows due to servowpt.py not correctly setting default binary path
Diffstat (limited to 'python/wpt/run.py')
| -rw-r--r-- | python/wpt/run.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/python/wpt/run.py b/python/wpt/run.py index 5a75eee2c7a..e3fd3681790 100644 --- a/python/wpt/run.py +++ b/python/wpt/run.py @@ -80,11 +80,12 @@ def run_tests(**kwargs): target_dir = os.path.join(os.environ["CARGO_TARGET_DIR"]) else: target_dir = os.path.join(SERVO_ROOT, "target") + + binary_name = ("servo.exe" if sys.platform == "win32" else "servo") + default_binary_path = os.path.join( - target_dir, determine_build_type(kwargs, target_dir), "servo" + target_dir, determine_build_type(kwargs, target_dir), binary_name ) - if sys.platform == "win32": - target_dir += ".exe" set_if_none(kwargs, "binary", default_binary_path) set_if_none(kwargs, "webdriver_binary", default_binary_path) |