1 files changed, 7 insertions, 0 deletions
diff --git a/util/dev b/util/dev
new file mode 100755
index 00000000000..319de217e0d
--- /dev/null
+++ b/util/dev
@@ -0,0 +1,7 @@
+#!/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 -- "$@"