v.util: always compile vfmt with `-d vfmt` to enable more efficient parsing
parent
16ead4e63c
commit
8a57f7ed2d
|
@ -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"')
|
||||||
|
|
Loading…
Reference in New Issue