v.pref: remove 'setting pref.path to ...' when given -v

pull/5088/head
Delyan Angelov 2020-05-28 18:41:26 +03:00
parent da9b3d82d2
commit d70cd81875
1 changed files with 0 additions and 3 deletions

View File

@ -301,9 +301,6 @@ pub fn parse_args(args []string) (&Preferences, string) {
res.build_mode = .build_module
res.path = args[command_pos + 1]
}
if res.is_verbose {
println('setting pref.path to "$res.path"')
}
res.fill_with_defaults()
return res, command
}