diff options
Diffstat (limited to 'aux/checks/shellcheck.sh')
| -rwxr-xr-x | aux/checks/shellcheck.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/aux/checks/shellcheck.sh b/aux/checks/shellcheck.sh deleted file mode 100755 index 585a75f..0000000 --- a/aux/checks/shellcheck.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -set -eu - -git ls-files | - xargs awk '/^#!\/bin\/sh$/ { print FILENAME } { nextfile }' | - xargs shellcheck -x |