pref: do not check arguments after 'run' command (#6524)

pull/6529/head
Nick Treleaven 2020-10-01 21:30:39 +01:00 committed by GitHub
parent a57e01fee7
commit 7e720a1253
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -337,8 +337,8 @@ pub fn parse_args(args []string) (&Preferences, string) {
command_pos = i
continue
}
if command !in ['', 'run', 'build', 'build-module'] {
// arguments for e.g. fmt are checked elsewhere
if command !in ['', 'build', 'build-module'] {
// arguments for e.g. fmt should be checked elsewhere
continue
}
eprint('Unknown argument `$arg`')