diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-10-26 02:57:12 -0600 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-10-26 02:57:12 -0600 |
| commit | 1dad21650eb6fb3a4b9bba6c0ddd1402930163e2 (patch) | |
| tree | 0779682be9a5f22d8e7c33824319d291105fa2c8 /Makefile | |
| parent | 20ff819fc032fb6ae902022f12891ae7c9f73151 (diff) | |
Lint for tabs-as-alignment
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -89,7 +89,7 @@ lint/all: lint/%: -maxdepth 0 -type f | \ { r=0; while read -r filename; do \ if ! grep -q 'Copyright (C) 2024 Luke T. Shumaker' $$filename; then \ - echo "$$filename is missing a copyright statement"; r=1; continue; \ + echo "$$filename is missing a copyright statement"; r=1; \ fi; \ dscname=$$(sed -n '1,3{ /^#!/d; /^<!--$$/d; /-\*- .* -\*-/d; s,[/*# ]*,,; s/ - .*//;p; q; }' $$filename); \ filename_alt1=$$(echo "$$filename" | sed \ @@ -100,7 +100,10 @@ lint/all: lint/%: filename_alt2=$$(echo "$$filename_alt1" | sed \ -e 's,^sbc_harness/hw/,hw/,'); \ if ! { [ "$$dscname" == "$$filename" ] || [ "$$dscname" == "$$filename_alt1" ] || [ "$$dscname" == "$$filename_alt2" ]; }; then \ - echo "$$filename self-identifies as $$dscname"; r=1; continue; \ + echo "$$filename self-identifies as $$dscname"; r=1; \ + fi; \ + if grep -n --color=auto "$$(printf '\\S\t')" $$filename; then \ + echo "$$filename uses tabs for alignment"; r=1; \ fi; \ done; exit $$r; } .PHONY: lint lint/% |