From b999f45caa2d97b7df05443689cd40703f8a800c Mon Sep 17 00:00:00 2001
From: Andrea Fioraldi <andreafioraldi@gmail.com>
Date: Thu, 20 May 2021 13:54:39 +0200
Subject: [PATCH] no clippy for fuzzers/

---
 scripts/build_all_fuzzers.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/build_all_fuzzers.sh b/scripts/build_all_fuzzers.sh
index 6c6586d176..4e1c9c83a5 100755
--- a/scripts/build_all_fuzzers.sh
+++ b/scripts/build_all_fuzzers.sh
@@ -8,10 +8,10 @@ cd fuzzers
 
 for fuzzer in *;
 do
-    echo "[+] Checking fmt and building $fuzzer"
+    echo "[+] Checking fmt, and building $fuzzer"
     cd $fuzzer \
         && cargo fmt --all -- --check \
-	&& cargo clippy \
+        # && ../../clippy.sh --no-clean \ # No clippy for example fuzzers
         && cargo build \
         && cd .. \
     || exit 1