vtools: do not use -prod, it slows things down too much
parent
4120982da1
commit
3097ba93d7
|
@ -31,7 +31,7 @@ pub fn launch_tool(tname string){
|
||||||
}
|
}
|
||||||
|
|
||||||
if tool_should_be_recompiled {
|
if tool_should_be_recompiled {
|
||||||
compilation_command := '$vexe -prod $tool_source'
|
compilation_command := '$vexe $tool_source'
|
||||||
//println('Compiling $tname with: "$compilation_command"')
|
//println('Compiling $tname with: "$compilation_command"')
|
||||||
tool_compilation := os.exec(compilation_command) or { panic(err) }
|
tool_compilation := os.exec(compilation_command) or { panic(err) }
|
||||||
if tool_compilation.exit_code != 0 {
|
if tool_compilation.exit_code != 0 {
|
||||||
|
|
Loading…
Reference in New Issue