mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
replacing commas with tabs; changing from CSV to TSV profiling
This commit is contained in:
parent
051a749e0d
commit
7591e1327a
2 changed files with 7 additions and 7 deletions
|
@ -539,9 +539,9 @@ pub fn from_cmdline_args(args: &[String]) -> ArgumentParsingResult {
|
|||
opts.optopt("s", "size", "Size of tiles", "512");
|
||||
opts.optopt("", "device-pixel-ratio", "Device pixels per px", "");
|
||||
opts.optopt("t", "threads", "Number of paint threads", "1");
|
||||
opts.optflagopt("p", "profile", "Time profiler flag and either a CSV output filename \
|
||||
opts.optflagopt("p", "profile", "Time profiler flag and either a TSV output filename \
|
||||
OR an interval for output to Stdout (blank for Stdout with interval of 5s)", "10 \
|
||||
OR time.csv");
|
||||
OR time.tsv");
|
||||
opts.optflagopt("", "profiler-trace-path",
|
||||
"Path to dump a self-contained HTML timeline of profiler traces",
|
||||
"");
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue