Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fixed bug where test-wpt was unable to run on windows due to servowpt.py not correctly setting default binary path

Browse source
This commit is contained in:
switchpiggy 2023-04-20 22:49:35 -07:00 • committed by Martin Robinson
parent 26f6c1c34b
commit 6cb656059d
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
python/wpt/run.py
View file

@ -80,11 +80,12 @@ def run_tests(**kwargs):
target_dir = os.path.join(os.environ["CARGO_TARGET_DIR"]) target_dir = os.path.join(os.environ["CARGO_TARGET_DIR"])
else: else:
target_dir = os.path.join(SERVO_ROOT, "target") target_dir = os.path.join(SERVO_ROOT, "target")
binary_name = ("servo.exe" if sys.platform == "win32" else "servo")
default_binary_path = os.path.join( 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, "binary", default_binary_path)
set_if_none(kwargs, "webdriver_binary", default_binary_path) set_if_none(kwargs, "webdriver_binary", default_binary_path)