diff options
Diffstat (limited to '.ci/common/test.sh')
| -rw-r--r-- | .ci/common/test.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.ci/common/test.sh b/.ci/common/test.sh index 4137472385..b28e46a4df 100644 --- a/.ci/common/test.sh +++ b/.ci/common/test.sh @@ -109,10 +109,6 @@ 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 |