1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run_lint.sh b/ci/run_lint.sh
index 82a8532850..39a90102e7 100755
--- a/ci/run_lint.sh
+++ b/ci/run_lint.sh
@@ -13,7 +13,7 @@ enter_suite 'lint'
 set -x
 
 csi_clean() {
-  rm "${BUILD_DIR}"/bin/test-includes-*
+  find "${BUILD_DIR}/bin" -name 'test-includes-*' -delete
   find "${BUILD_DIR}" -name '*test-include*.o' -delete
 }