Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-04-07 09:07:58 +0200
committerErich Eckner <git@eckner.net>2019-04-07 09:07:58 +0200
commitbcc6ef35bb929e6939c452532526f7a33c3eeab8 (patch)
tree9398cf0b2d66648f688133c2f2b8ddd5ffa12204 /Makefile
parent4bfee7206c80720be4c5afd6a89d97f89105fea9 (diff)
parent603706db48a461e1803b6b39a620599c39890b02 (diff)
Merge remote-tracking branch 'upstream/master'v0.50.5
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index f755784..0f6d7c2 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)