Переглянути джерело

Merge pull request #23 from gunrot/noheaderext

handle header without extension
master
Matt Arsenault 5 роки тому
committed by GitHub
джерело
коміт
99e159ec9b
Не вдалося знайти GPG ключ що відповідає даному підпису Ідентифікатор GPG ключа: 4AEE18F83AFDEB23
1 змінених файлів з 5 додано та 0 видалено
  1. +5
    -0
      cmake/sanitize-helpers.cmake

+ 5
- 0
cmake/sanitize-helpers.cmake Переглянути файл

@@ -25,6 +25,11 @@
# Helper function to get the language of a source file.
function (sanitizer_lang_of_source FILE RETURN_VAR)
get_filename_component(LONGEST_EXT "${FILE}" EXT)
# If extension is empty return. This can happen for extensionless headers
if("${LONGEST_EXT}" STREQUAL "")
set(${RETURN_VAR} "" PARENT_SCOPE)
return()
endif()
# Get shortest extension as some files can have dot in their names
string(REGEX REPLACE "^.*(\\.[^.]+)$" "\\1" FILE_EXT ${LONGEST_EXT})
string(TOLOWER "${FILE_EXT}" FILE_EXT)


Завантаження…
Відмінити
Зберегти