diff options
Diffstat (limited to 'lint/bin')
-rwxr-xr-x | lint/bin | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lint/bin b/lint/bin deleted file mode 100755 index 1130e432..00000000 --- a/lint/bin +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -for bin in bin/* ; do - [ -f "$bin" ] || continue - hb=$(sed 1q "$bin") || exit - case $hb in - *sh) - printf '%s\n' "$bin" - shellcheck -- "$bin" - ;; - esac -done |