Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Removed extra space from --userscripts option.

Browse source
This commit is contained in:
Alan Jeffrey 2016-08-19 13:46:28 -05:00
parent eb18665f5b
commit a2a45a77fd
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

@ -42,7 +42,7 @@ def execute_test(url, command, timeout):
def get_servo_command(url):
ua_script_path = "{}/user-agent-js".format(os.getcwd())
return ["./servo/servo", url,
" --userscripts", ua_script_path,
"--userscripts", ua_script_path,
"-x", "-o", "output.png"]