diff options
Diffstat (limited to 'ci/run_lint.sh')
| -rwxr-xr-x | ci/run_lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run_lint.sh b/ci/run_lint.sh index 39a90102e7..2c30615725 100755 --- a/ci/run_lint.sh +++ b/ci/run_lint.sh @@ -25,4 +25,4 @@ CLICOLOR_FORCE=1 run_test_wd \ 'csi_clean' \ single-includes -exit_suite +end_tests |