2017-03-31 06:02:53 -07:00
|
|
|
#!/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'
|
|
|
|
|
2017-03-31 09:42:18 -07:00
|
|
|
set -x
|
|
|
|
|
2017-04-03 17:58:10 -07:00
|
|
|
csi_clean() {
|
2017-04-03 18:17:40 -07:00
|
|
|
find "${BUILD_DIR}/bin" -name 'test-includes-*' -delete
|
2017-04-03 17:58:10 -07:00
|
|
|
find "${BUILD_DIR}" -name '*test-include*.o' -delete
|
|
|
|
}
|
|
|
|
|
2017-03-31 06:02:53 -07:00
|
|
|
run_test 'top_make clint-full' clint
|
|
|
|
run_test 'top_make testlint' testlint
|
2017-04-03 18:02:54 -07:00
|
|
|
CLICOLOR_FORCE=1 run_test_wd \
|
|
|
|
5s \
|
|
|
|
'top_make check-single-includes' \
|
|
|
|
'csi_clean' \
|
|
|
|
single-includes
|
2017-03-31 06:02:53 -07:00
|
|
|
|
2017-04-04 10:15:30 -07:00
|
|
|
end_tests
|