vieter-v
/
v
2
0
Fork 0
Code Issues Pull Requests Releases Activity

tools: fix performance_compare.v

pull/4282/head
yuyi 2020-04-07 18:38:43 +08:00 committed by GitHub
parent 08d90afb8c
commit 7bd98ecddb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cmd/tools/performance_compare.v
View File

@ -190,8 +190,8 @@ fn main() {
context.vflags = fp.string('vflags', 0, '', 'Additional options to pass to the v commands, for example "-cc tcc"')
context.hyperfineopts = fp.string('hyperfine_options', 0, '',
'Additional options passed to hyperfine.
${flag.SPACE}For example on linux, you may want to pass:
${flag.SPACE}--hyperfine_options "--prepare \'sync; echo 3 | sudo tee /proc/sys/vm/drop_caches\'"
${flag.space}For example on linux, you may want to pass:
${flag.space}--hyperfine_options "--prepare \'sync; echo 3 | sudo tee /proc/sys/vm/drop_caches\'"
')
commits := vgit.add_common_tool_options(mut context, mut fp)
context.commit_before = commits[0]