diff options
author | Laurențiu Nicola <[email protected]> | 2020-12-23 06:34:10 +0000 |
---|---|---|
committer | Laurențiu Nicola <[email protected]> | 2020-12-23 06:46:38 +0000 |
commit | 25a987703c05d5a78059eb776a5b4ca65018a816 (patch) | |
tree | 8758cad3fa6a8203bbb13f72ddcaeef2128f8b98 /xtask | |
parent | 493e29d7132a25ce13c10393c581c2f9e1116320 (diff) |
Don't release uncompressed binaries under the new naming scheme
Diffstat (limited to 'xtask')
-rw-r--r-- | xtask/src/dist.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/xtask/src/dist.rs b/xtask/src/dist.rs index d07ad9420..d59b88131 100644 --- a/xtask/src/dist.rs +++ b/xtask/src/dist.rs | |||
@@ -70,7 +70,6 @@ fn dist_server() -> Result<()> { | |||
70 | let src = | 70 | let src = |
71 | Path::new("target").join(&target).join("release").join(format!("rust-analyzer{}", suffix)); | 71 | Path::new("target").join(&target).join("release").join(format!("rust-analyzer{}", suffix)); |
72 | let dst = Path::new("dist").join(format!("rust-analyzer-{}{}", target, suffix)); | 72 | let dst = Path::new("dist").join(format!("rust-analyzer-{}{}", target, suffix)); |
73 | cp(&src, &dst)?; | ||
74 | gzip(&src, &dst.with_extension("gz"))?; | 73 | gzip(&src, &dst.with_extension("gz"))?; |
75 | 74 | ||
76 | // FIXME: the old names are temporarily kept for client compatibility, but they should be removed | 75 | // FIXME: the old names are temporarily kept for client compatibility, but they should be removed |