diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-12 00:17:31 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-12 00:17:31 -0700 |
commit | 755db30028622de604ef98a5b28c2c4128b6f3d7 (patch) | |
tree | e56d5cad9816a61a18434bb88b8fee5a07dbc034 /GNUmakefile | |
parent | dd83b1e231ea89e4ceb3302d3b68fca4761b11b8 (diff) |
Oh dang, I broke `make lint` a while back :(
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 3 |
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/%: |