1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/clint.sh b/scripts/clint.sh
deleted file mode 100755
index 55eb5c9394..0000000000
--- a/scripts/clint.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-for file in $(cat clint-files.txt); do
-	./clint.py $file || fail=1
-done
-
-if [ -n "$fail" ]; then
-	exit 1
-fi