diff options
| author | Philipp Hansch <dev@phansch.net> | 2020-04-26 14:00:03 +0200 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2020-04-26 14:00:03 +0200 |
| commit | 8d596ea01c6fb90ca254d30cea4b3285d6b415ba (patch) | |
| tree | b439a156c4e0f2b65314a1589c144bcfea68f3d8 | |
| parent | b7c802b5e33f5a402de3780bc5a8b05e7ebad409 (diff) | |
| download | rust-8d596ea01c6fb90ca254d30cea4b3285d6b415ba.tar.gz rust-8d596ea01c6fb90ca254d30cea4b3285d6b415ba.zip | |
Remove util/dev script
`cargo dev` has been the replacement for a while, so I think we can remove it now. cc #5394
| -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 -- "$@" |