diff options
Diffstat (limited to 'lint')
-rwxr-xr-x | lint/ksh | 2 | ||||
-rwxr-xr-x | lint/pdksh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lint/ksh b/lint/ksh new file mode 100755 index 00000000..5c5445fc --- /dev/null +++ b/lint/ksh @@ -0,0 +1,2 @@ +#!/bin/sh +find ksh -type f -print -exec shellcheck -e SC1090 -s ksh -- {} \; diff --git a/lint/pdksh b/lint/pdksh deleted file mode 100755 index 03745b3d..00000000 --- a/lint/pdksh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -find pdksh -type f -print -exec shellcheck -e SC1090 -s ksh -- {} \; |