Remove util/dev script

`cargo dev` has been the replacement for a while, so I think we can
remove it now.

cc #5394
This commit is contained in:
Philipp Hansch 2020-04-26 14:00:03 +02:00
parent b7c802b5e3
commit 8d596ea01c
No known key found for this signature in database
GPG key ID: 2B4399C4BF4DCBDE

View file

@ -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 -- "$@"