diff options
| author | bors <bors@rust-lang.org> | 2020-04-26 14:44:08 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-04-26 14:44:08 +0000 |
| commit | 87a6f3fc2c3300ee7ea165ff7da7c085f534b142 (patch) | |
| tree | 1d99f5df1d71f9cc3dce6d23e7c4b846b5669879 | |
| parent | 5c12f2b2862461720bc9c1272dd9f32ba558ff2e (diff) | |
| parent | 8d596ea01c6fb90ca254d30cea4b3285d6b415ba (diff) | |
| download | rust-87a6f3fc2c3300ee7ea165ff7da7c085f534b142.tar.gz rust-87a6f3fc2c3300ee7ea165ff7da7c085f534b142.zip | |
Auto merge of #5534 - phansch:remove-util-dev, r=flip1995
Remove util/dev script `cargo dev` has been the replacement for a while, so I think we can remove it now. cc #5394 changelog: none
| -rwxr-xr-x | util/dev | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/util/dev b/util/dev deleted file mode 100755 index 319de217e0d..00000000000 --- a/util/dev +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh -CARGO_TARGET_DIR=$(pwd)/target/ -export CARGO_TARGET_DIR - -echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.' - -cd clippy_dev && cargo run -- "$@" |