Add missing bash lint script (#11700)

This commit is contained in:
Tony Murray 2020-05-26 08:28:00 -05:00 committed by GitHub
parent a635881fa9
commit 46fa4eac03
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

7
scripts/bash_lint.sh Executable file
View File

@ -0,0 +1,7 @@
#!/usr/bin/env bash
set -e
for file in "$@"; do
bash -n "$file"
done
set +e