summaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorLuke T. Shumaker <lukeshu@lukeshu.com>2024-11-12 00:17:31 -0700
committerLuke T. Shumaker <lukeshu@lukeshu.com>2024-11-12 00:17:31 -0700
commit755db30028622de604ef98a5b28c2c4128b6f3d7 (patch)
treee56d5cad9816a61a18434bb88b8fee5a07dbc034 /GNUmakefile
parentdd83b1e231ea89e4ceb3302d3b68fca4761b11b8 (diff)
Oh dang, I broke `make lint` a while back :(
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile
index 28f287a..1e77534 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -75,6 +75,7 @@ $(foreach p,$(platforms),build/$p/build): build/%/build: build/%/Makefile genera
# `lint` and `format` ##########################################################
-include build-aux/sources.mk
+sources_all := $(foreach v,$(filter sources_%,$(.VARIABLES)),$($v))
get_dscname = sed -n '1,3{ /^\#!/d; /^<!--$$/d; /-\*- .* -\*-/d; s,[/*\# ]*,,; s/ - .*//;p; q; }'
@@ -98,7 +99,7 @@ lint/c: lint/%:
grep -Fxq "#endif /* $${guard} */" "$$filename"; }; then \
echo "$$filename does not have $${guard} guard"; r=1; \
fi; \
- done
+ done; exit $$r
lint/make lint/cmake lint/gitignore lint/ini lint/9p lint/markdown: lint/%:
@:
lint/unknown: lint/%: