summaryrefslogtreecommitdiff
path: root/.jenkins/run-shellcheck.sh
blob: 1333e9ab6f49dd8512af6dd48f2675b00501534f (plain)
1
2
3
4
5
6
7
8
9
10
#!/bin/bash -xe

# One may want to invoke this script locally as follows:
#
#   .jenkins/run-shellcheck.sh --color=always | less -R


EXCLUSIONS=SC2086,SC1091,SC2155,SC1090,SC2164,SC1003

find .jenkins/pytorch -name *.sh | xargs shellcheck --exclude=$EXCLUSIONS --external-sources "$@" || true