From 2d5b51ed8e7f1b9e57132a9c95be6416134ea40b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beat=20K=C3=BCng?= <beat-kueng@gmx.net>
Date: Thu, 6 Sep 2018 19:30:12 +0200
Subject: [PATCH] run-shellcheck.sh: exclude .bin files

---
 Tools/run-shellcheck.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/run-shellcheck.sh b/Tools/run-shellcheck.sh
index a11d387d8f..bf890f6f77 100755
--- a/Tools/run-shellcheck.sh
+++ b/Tools/run-shellcheck.sh
@@ -14,7 +14,7 @@ search_directory="$1"
 command -v shellcheck >/dev/null 2>&1 || { echo -e >&2 \
 "Error: shellcheck required but it's not installed. On Ubuntu use:\n sudo apt-get install shellcheck\n\nAborting."; exit 1; }
 
-scripts="$(find "$search_directory" -type f ! -name '*.txt' ! -name '*.mix')"
+scripts="$(find "$search_directory" -type f ! -name '*.txt' ! -name '*.mix' ! -name '*.bin')"
 
 echo "Running shellcheck in '$search_directory'."