diff options
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 |