aboutsummaryrefslogtreecommitdiff
path: root/ci/run_lint.sh
blob: 2fea7a40c06135ed3867d516d64134e645a6e6c5 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
#!/usr/bin/env bash

set -e
set -o pipefail

CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"

source "${CI_DIR}/common/build.sh"
source "${CI_DIR}/common/suite.sh"

if [[ "$GITHUB_ACTIONS" != "true" ]]; then
  run_suite 'make clint-full' 'clint'
  run_suite 'make lualint' 'lualint'
  run_suite 'make pylint' 'pylint'
  run_suite 'make shlint' 'shlint'
  run_suite 'make check-single-includes' 'single-includes'

  end_tests
else
  case "$1" in
    clint)
      run_suite 'make clint-full' 'clint'
      ;;
    lualint)
      run_suite 'make lualint' 'lualint'
      ;;
    pylint)
      run_suite 'make pylint' 'pylint'
      ;;
    shlint)
      run_suite 'make shlint' 'shlint'
      ;;
    single-includes)
      run_suite 'make check-single-includes' 'single-includes'
      ;;
    *)
      :;;
  esac

  end_tests
fi