From f3ee711bbd8526e0df8bb5f2ea28fc90a41a58f3 Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Wed, 26 Feb 2025 16:02:06 -0700
Subject: Integrate lint-bin into `make lint`

---
 GNUmakefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'GNUmakefile')

diff --git a/GNUmakefile b/GNUmakefile
index 65639e4..0913aec 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -104,7 +104,9 @@ build-aux/venv: build-aux/requirements.txt
 
 # `lint` ###########
 lint:
-	$(MAKE) -k INNER=t $(patsubst sources_%,lint/%,$(filter sources_%,$(.VARIABLES)))
+	$(MAKE) -k INNER=t $(patsubst sources_%,lint/%,$(filter sources_%,$(.VARIABLES))) lint/bin
+lint/bin: build build-aux/lint-bin
+	./build-aux/lint-bin $(foreach t,$(build_types),build/rp2040-$t/cmd/sbc_harness/sbc_harness.elf)
 lint/sh lint/bash: lint/%:
 	shellcheck $(sources_$*)
 lint/python3: lint/%: build-aux/venv
-- 
cgit v1.2.3-2-g168b