Auto merge of #5293 - matthiaskrgr:macro_skip_lifetime, r=phansch

[rust.git] / util / dev

diff --git a/util/dev b/util/dev
index 4fa6e69b75276e392c9c473ee231be9edfd3bdbd..319de217e0d90170c1bcf7545aef25e1caff11d5 100755 (executable)
--- a/util/dev
+++ b/util/dev
@@ -1,3 +1,7 @@
 #!/bin/sh
+CARGO_TARGET_DIR=$(pwd)/target/
+export CARGO_TARGET_DIR
 
-cd clippy_dev && cargo run -- $@
+echo 'Deprecated! `util/dev` usage is deprecated, please use `cargo dev` instead.'
+
+cd clippy_dev && cargo run -- "$@"