diff options
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/% |