Merge remote-tracking branch 'upstream/master' into rustup3

This commit is contained in:
flip1995 2020-05-20 13:25:05 +02:00
commit b8098fe4cc
No known key found for this signature in database
GPG Key ID: 2CEFCDB27ED0BE79

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