diff options
| author | flip1995 <hello@philkrones.com> | 2020-05-20 13:25:05 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-05-20 13:25:05 +0200 |
| commit | b8098fe4cc0239727259fa2b09087b5e6fa4ae8b (patch) | |
| tree | 91c0a711f16bf6eaca0d599758eee0d4189847a4 | |
| parent | 6cb1f5972dffd7614199a828ecba140606e6e65e (diff) | |
| parent | e214ea82ad0a751563acf67e1cd9279cf302db3a (diff) | |
| download | rust-b8098fe4cc0239727259fa2b09087b5e6fa4ae8b.tar.gz rust-b8098fe4cc0239727259fa2b09087b5e6fa4ae8b.zip | |
Merge remote-tracking branch 'upstream/master' into rustup3
| -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 -- "$@" |