diff options
| author | Erich Eckner <git@eckner.net> | 2019-04-07 09:07:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-04-07 09:07:58 +0200 |
| commit | bcc6ef35bb929e6939c452532526f7a33c3eeab8 (patch) | |
| tree | 9398cf0b2d66648f688133c2f2b8ddd5ffa12204 /Makefile | |
| parent | 4bfee7206c80720be4c5afd6a89d97f89105fea9 (diff) | |
| parent | 603706db48a461e1803b6b39a620599c39890b02 (diff) | |
| download | asp32-a618cd5f85ae061fc9ed458a0a460ba59d8d6789.tar.xz | |
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |