aboutsummaryrefslogtreecommitdiff
path: root/ci/run_lint.sh
blob: c7937930d12cfe29bcdb53c4d5d58f46d13a9066 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/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"

enter_suite 'lint'

run_test 'top_make clint-full' clint
run_test 'top_make testlint' testlint
run_test 'top_make check-single-includes' single-includes

exit_suite