From e9a7f3b2b3654ae203049fb6287427991588504d Mon Sep 17 00:00:00 2001
From: Julien Robert <julien@rbrt.fr>
Date: Mon, 30 Oct 2023 16:12:06 +0100
Subject: [PATCH] skip tools

---
 scripts/go-lint-all.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/go-lint-all.bash b/scripts/go-lint-all.bash
index f63778015fd2..2f7ad6b47d0a 100755
--- a/scripts/go-lint-all.bash
+++ b/scripts/go-lint-all.bash
@@ -39,7 +39,7 @@ else
   for f in $(dirname $(echo "$GIT_DIFF" | tr -d "'") | uniq); do
     echo "linting $f [$(date -Iseconds -u)]" &&
     cd $f &&
-    if [[ -z "${NIX:-}" && $f != store ]]; then 
+    if [[ (-z "${NIX:-}" && $f != store) || $f == "tools/"* ]]; then 
       golangci-lint run ./... -c "${REPO_ROOT}/.golangci.yml" "$@" --build-tags=e2e,ledger,test_ledger_mock
     else
       golangci-lint run ./... -c "${REPO_ROOT}/.golangci.yml" "$@" --build-tags=rocksdb,e2e,ledger,test_ledger_mock