diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-30 17:39:18 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-30 17:39:18 +0000 |
commit | eee55d4663084a01ce80f5ee201d8e1e345417cd (patch) | |
tree | 7fc1497065d00cfba1cd00523ed9545886745da1 /xtask/src/main.rs | |
parent | d929f9c49bceb3b7c32ea45c5e55c42f168bbf34 (diff) | |
parent | b441b4e8effeaf4532fd2e45c4d864480857c49e (diff) |
Merge #2129
2129: Some clippy fixes r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'xtask/src/main.rs')
-rw-r--r-- | xtask/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtask/src/main.rs b/xtask/src/main.rs index 04dca402c..4d20232ff 100644 --- a/xtask/src/main.rs +++ b/xtask/src/main.rs | |||
@@ -60,7 +60,7 @@ fn main() -> Result<()> { | |||
60 | matches.finish().or_else(handle_extra_flags)?; | 60 | matches.finish().or_else(handle_extra_flags)?; |
61 | let opts = InstallOpt { | 61 | let opts = InstallOpt { |
62 | client: if server { None } else { Some(ClientOpt::VsCode) }, | 62 | client: if server { None } else { Some(ClientOpt::VsCode) }, |
63 | server: if client_code { None } else { Some(ServerOpt { jemalloc: jemalloc }) }, | 63 | server: if client_code { None } else { Some(ServerOpt { jemalloc }) }, |
64 | }; | 64 | }; |
65 | install(opts)? | 65 | install(opts)? |
66 | } | 66 | } |