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/src/dist.rs | |
| parent | 493e29d7132a25ce13c10393c581c2f9e1116320 (diff) | |
Don't release uncompressed binaries under the new naming scheme
Diffstat (limited to 'xtask/src/dist.rs')
| -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 |