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

Update userscripts Option

Browse source 
Fixes #22462
This commit is contained in:
Coder206 2018-12-14 21:50:35 +00:00
parent df6afb2dd1
commit 6eb367e905
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/performance/runner.py
View file

@ -75,7 +75,7 @@ def run_servo_test(testcase, url, date, timeout, is_async):
ua_script_path = "{}/user-agent-js".format(os.getcwd()) ua_script_path = "{}/user-agent-js".format(os.getcwd())
command = [ command = [
"../../../target/release/servo", url, "../../../target/release/servo", url,
"--userscripts", ua_script_path, "--userscripts=" + ua_script_path,
"--headless", "--headless",
"-x", "-o", "output.png" "-x", "-o", "output.png"
] ]