Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDave Reisner <dreisner@archlinux.org>2019-03-31 09:42:01 -0400
committerDave Reisner <dreisner@archlinux.org>2019-03-31 09:42:01 -0400
commit603706db48a461e1803b6b39a620599c39890b02 (patch)
tree438dfa4884d0428b2ddf04b775f1d07f3cdc1cf0 /Makefile
parent4d4e4ab07e2c6fb64a84727ca21dba6066598878 (diff)
Add 'lint' target to run shellcheckv5
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index ead232a..d93e7ab 100644
--- a/Makefile
+++ b/Makefile
@@ -44,6 +44,9 @@ man/%: man/%.txt Makefile
check: $(BINPROGS)
@for f in $(BINPROGS); do bash -O extglob -n $$f; done
+lint: $(BINPROGS)
+ @for f in $(BINPROGS); do shellcheck $$f; done
+
clean:
$(RM) $(BINPROGS) $(MANPAGES)