From 0e2f5c9862bff6889c57a802844e75ea9e576606 Mon Sep 17 00:00:00 2001
From: Jack Huey <jack.huey@umassmed.edu>
Date: Thu, 7 May 2020 17:46:31 -0400
Subject: [PATCH] Fix nit and cargo.lock

---
 util/dev | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 util/dev

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