summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorLuke T. Shumaker <lukeshu@lukeshu.com>2025-02-28 10:46:45 -0700
committerLuke T. Shumaker <lukeshu@lukeshu.com>2025-02-28 10:46:45 -0700
commitac18d23f7cfe15ed2aeec95462a72d6904cc8c9a (patch)
tree7efa4491eb28a8b4a949516d07716b753910dbdc /GNUmakefile
parent53e21f869026a586244a4fae3367633d392a856b (diff)
make lint: Only lint binaries if build scripts passed
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile
index 0913aec..1311b6e 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))) lint/bin
+ $(MAKE) -k INNER=t $(patsubst sources_%,lint/%,$(filter sources_%,$(.VARIABLES)))
+# Only lint binaries if the build scripts pass lint.
+ $(MAKE) INNER=t 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/%: