1 files changed, 3 insertions, 2 deletions
diff --git a/ci/run_lint.sh b/ci/run_lint.sh
index 39a90102e7..5639b4c3db 100755
--- a/ci/run_lint.sh
+++ b/ci/run_lint.sh
@@ -20,9 +20,10 @@ csi_clean() {
 run_test 'top_make clint-full' clint
 run_test 'top_make testlint' testlint
 CLICOLOR_FORCE=1 run_test_wd \
-  5s \
+  --allow-hang \
+  10s \
   'top_make check-single-includes' \
   'csi_clean' \
   single-includes
 
-exit_suite
+end_tests