diff options
author | crowlKats <13135287+crowlKats@users.noreply.github.com> | 2020-12-06 18:19:21 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-06 18:19:21 +0100 |
commit | 7135d34ccab7629da57c75ee239fcb0dda733eae (patch) | |
tree | b301dc3ec170e272f9275e015d525a159ba8ff23 /cli/tools/installer.rs | |
parent | 5bff1c050bb45999aa8dd4bc63c636de5cf7654d (diff) |
refactor(cli): remove Option from Flags.v8_flags (#8633)
Diffstat (limited to 'cli/tools/installer.rs')
-rw-r--r-- | cli/tools/installer.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/tools/installer.rs b/cli/tools/installer.rs index f2f5562c2..ec527949d 100644 --- a/cli/tools/installer.rs +++ b/cli/tools/installer.rs @@ -227,8 +227,8 @@ pub fn install( executable_args.push("--cached_only".to_string()); } - if let Some(v8_flags) = flags.v8_flags { - executable_args.push(format!("--v8-flags={}", v8_flags.join(","))); + if !flags.v8_flags.is_empty() { + executable_args.push(format!("--v8-flags={}", flags.v8_flags.join(","))); } if let Some(seed) = flags.seed { |