run_lint.sh 427 B

12345678910111213141516171819202122232425
  1. #!/usr/bin/env bash
  2. set -e
  3. set -o pipefail
  4. CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
  5. source "${CI_DIR}/common/build.sh"
  6. source "${CI_DIR}/common/suite.sh"
  7. rm -f "$END_MARKER"
  8. # Run all tests if no input argument is given
  9. if (($# == 0)); then
  10. tests=('clint-full' 'lualint' 'pylint' 'shlint' 'check-single-includes')
  11. else
  12. tests=("$@")
  13. fi
  14. for i in "${tests[@]}"; do
  15. make "$i" || fail "$i"
  16. done
  17. end_tests