aboutsummaryrefslogtreecommitdiff
path: root/ci/run_lint.sh
blob: ba1a61858efc358555c25f37f7c41ae8e6fbdc12 (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
#!/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"

rm -f "$END_MARKER"

# Run all tests if no input argument is given
if (($# == 0)); then
  tests=('lintcfull' 'lintlua' 'lintpy' 'lintsh' 'check-single-includes')
else
  tests=("$@")
fi

for i in "${tests[@]}"; do
  make "$i" || fail "$i"
done

end_tests