diff options
Diffstat (limited to '.ci/common/test.sh')
| -rw-r--r-- | .ci/common/test.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/common/test.sh b/.ci/common/test.sh index b28e46a4df..4137472385 100644 --- a/.ci/common/test.sh +++ b/.ci/common/test.sh @@ -109,6 +109,10 @@ run_oldtests() { check_core_dumps } +run_single_includes_tests() { + ${MAKE_CMD} -C "${BUILD_DIR}" check-single-includes +} + install_nvim() { ${MAKE_CMD} -C "${BUILD_DIR}" install |