diff options
-rw-r--r-- | Makefile | 26 | ||||
-rwxr-xr-x | lint/pdksh | 2 |
2 files changed, 23 insertions, 5 deletions
@@ -44,12 +44,14 @@ check-bash \ check-bin \ check-games \ + check-pdksh \ check-sh \ check-urxvt \ lint \ lint-bash \ lint-bin \ lint-games \ + lint-pdksh \ lint-sh \ lint-urxvt @@ -327,7 +329,12 @@ install-zsh : install-sh install -pm 0644 -- zsh/zprofile "$(HOME)"/.zprofile install -pm 0644 -- zsh/zshrc "$(HOME)"/.zshrc -check : check-bash check-bin check-games check-man check-sh check-urxvt +check : check-bash \ + check-bin \ + check-games \ + check-man \ + check-sh \ + check-urxvt check-bash : check/bash @@ -338,19 +345,25 @@ check-bin : check-games : check/games -check-pdksh : - check/pdksh - check-man : check/man +check-pdksh : + check/pdksh + check-sh : check/sh check-urxvt : check/urxvt -lint : lint-bash lint-bin lint-games lint-sh lint-urxvt +lint : check \ + lint-bash \ + lint-bin \ + lint-games \ + lint-pdksh \ + lint-sh \ + lint-urxvt lint-bash : lint/bash @@ -361,6 +374,9 @@ lint-bin : lint-games : lint/games +lint-pdksh : + lint/pdksh + lint-sh : lint/sh diff --git a/lint/pdksh b/lint/pdksh new file mode 100755 index 00000000..03745b3d --- /dev/null +++ b/lint/pdksh @@ -0,0 +1,2 @@ +#!/bin/sh +find pdksh -type f -print -exec shellcheck -e SC1090 -s ksh -- {} \; |