diff --git a/vlib/v/pref/pref.v b/vlib/v/pref/pref.v index 055f3d84ed..37b0a13ee6 100644 --- a/vlib/v/pref/pref.v +++ b/vlib/v/pref/pref.v @@ -220,6 +220,7 @@ pub fn parse_args(known_external_commands []string, args []string) (&Preferences exit(1) } } + i++ } '-show-timings' { res.show_timings = true