v.util: always compile vfmt with `-d vfmt` to enable more efficient parsing

Delyan Angelov 2022-04-16 13:16:55 +03:00 committed by Jef Roosens
parent 72a7c19f83
commit 53fde9c812
Signed by: Jef Roosens
GPG Key ID: B75D4F293C7052DB
1 changed files with 3 additions and 0 deletions

View File

@ -172,6 +172,9 @@ pub fn launch_tool(is_verbose bool, tool_name string, args []string) {
// .v line numbers, to ease diagnostic in #bugs and issues. // .v line numbers, to ease diagnostic in #bugs and issues.
compilation_command += ' -g ' compilation_command += ' -g '
} }
if tool_name == 'vfmt' {
compilation_command += ' -d vfmt '
}
compilation_command += os.quoted_path(tool_source) compilation_command += os.quoted_path(tool_source)
if is_verbose { if is_verbose {
println('Compiling $tool_name with: "$compilation_command"') println('Compiling $tool_name with: "$compilation_command"')