From 9760795d7696420bbc511fccca0e4e2007b2fbd1 Mon Sep 17 00:00:00 2001
From: Dom <dom@itsallbroken.com>
Date: Wed, 16 Dec 2020 19:11:31 +0000
Subject: [PATCH] rust-clippy: remove  --workspace

Adding this seems to prevent clippy from returning lint failures.
---
 run-rust-clippy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-rust-clippy.sh b/run-rust-clippy.sh
index 98cac0a..a27dd2c 100755
--- a/run-rust-clippy.sh
+++ b/run-rust-clippy.sh
@@ -19,4 +19,4 @@ default_lints=(
 # Use the lints passed as arguments, or the default above.
 lints=${*:-${default_lints[*]}}
 
-cargo clippy --all-targets --all-features --workspace -- -D warnings ${lints}
\ No newline at end of file
+cargo clippy --all-targets --all-features -- -D warnings ${lints}
\ No newline at end of file