cli: allow flag to be set multi time (#8256)

This commit is contained in:
Emeric MARTINEAU 2021-01-22 18:03:02 +01:00 committed by GitHub
parent f2c6735d92
commit 081e3c46b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 286 additions and 28 deletions

View file

@ -267,7 +267,7 @@ fn (cmd Command) check_version_flag() {
fn (cmd Command) check_required_flags() {
for flag in cmd.flags {
if flag.required && flag.value == '' {
if flag.required && flag.value.len > 0 {
full_name := cmd.full_name()
println('Flag `$flag.name` is required by `$full_name`')
exit(1)