diff options
Diffstat (limited to 'cmake/RunLint.cmake')
| -rw-r--r-- | cmake/RunLint.cmake | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cmake/RunLint.cmake b/cmake/RunLint.cmake index 35d3f942aa..a6d5a01b50 100644 --- a/cmake/RunLint.cmake +++ b/cmake/RunLint.cmake @@ -5,9 +5,7 @@ file(GLOB_RECURSE LINT_FILES ${LINT_DIR}/*.c ${LINT_DIR}/*.h) if(LINT_IGNORE_FILE) file(READ ${LINT_IGNORE_FILE} LINT_IGNORED_FILES) string(REPLACE "\n" ";" LINT_IGNORED_FILES ${LINT_IGNORED_FILES}) - message(STATUS "Ignoring the following files for linting:") foreach(ignore_file ${LINT_IGNORED_FILES}) - message(STATUS "${ignore_file}") list(REMOVE_ITEM LINT_FILES "${LINT_PREFIX}/${ignore_file}") endforeach() endif() |