pref: fix -prof, to behave exactly the same as -profile

pull/7264/head
Delyan Angelov 2020-12-11 09:28:34 +02:00
parent 6f474913cf
commit 668483ee56
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 1 additions and 1 deletions

View File

@ -225,7 +225,7 @@ pub fn parse_args(args []string) (&Preferences, string) {
res.build_options << arg
}
'-prof', '-profile' {
res.profile_file = cmdline.option(current_args, '-profile', '-')
res.profile_file = cmdline.option(current_args, arg, '-')
res.is_prof = true
res.build_options << '$arg $res.profile_file'
i++