Delete obsolete clippy scripts.

2018-10-30 13:04:21 -07:00
parent 0ff372a6b8
commit 4a41d2d6c6
1 changed files with 0 additions and 10 deletions
--- a/check-clippy.sh
+++ b/check-clippy.sh
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -euo pipefail
-
-# Usage: check-clippy.sh
-
-if cargo install --list | tee /dev/null | grep -q "^clippy v0"; then
-    exit 0
-else
-    exit 1
-fi