1 files changed, 0 insertions, 7 deletions
diff --git a/src/tools/clippy/util/dev b/src/tools/clippy/util/dev
deleted file mode 100755
index 319de217e0d..00000000000
--- a/src/tools/clippy/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 -- "$@"