From ee8a1aed4e62432e49d9704122f99b1d8edc613d Mon Sep 17 00:00:00 2001
From: Chris Chua <chris.sirhc@gmail.com>
Date: Tue, 26 Mar 2024 17:29:06 +0800
Subject: [PATCH] check: make sure .envrc is part of shellcheck

.envrc is also a shell script.
---
 tools/check | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/check b/tools/check
index d1a89e854cc..537bcac2ca7 100755
--- a/tools/check
+++ b/tools/check
@@ -291,7 +291,7 @@ run_icons() {
 
 run_shellcheck() {
     # Omitted from this check: nothing (nothing known, anyway).
-    files_check tools/ '!*.'{dart,js,json} \
+    files_check tools/ '!*.'{dart,js,json} .envrc \
     || return 0
 
     # Shellcheck is fast, <1s; so if we touched any possible targets at all,
@@ -300,6 +300,7 @@ run_shellcheck() {
     targets=(
         $(git grep -l '#!.*sh\b' -- tools/)
         $(git ls-files -- tools/'*.sh')
+        .envrc
     )
 
     if ! type shellcheck >/dev/null 2>&1; then