diff options
Diffstat (limited to 'tools/misc-sanity-checks.sh')
| -rw-r--r-- | tools/misc-sanity-checks.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/misc-sanity-checks.sh b/tools/misc-sanity-checks.sh index 05480edc9a..e049449828 100644 --- a/tools/misc-sanity-checks.sh +++ b/tools/misc-sanity-checks.sh @@ -32,7 +32,7 @@ check_opinionated_shell () { # If you cannot avoid the use of bash, please change the EXPECTED var below. OBSERVED=$(grep -E '^([[:space:]]*[^#[:space:]]|#!).*bash' \ tox.ini tools/* | wc -l) - EXPECTED=4 + EXPECTED=6 if [ ${EXPECTED} -ne ${OBSERVED} ]; then echo "Bash usage has been detected!" >>$FAILURES fi |