espressif/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2025-06-23 09:27:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix issues in CI check for header files with directories and .gitmodules (#420)

Browse Source
This commit is contained in:
Archit Aggarwal
2020-11-23 13:08:15 -08:00
committed by GitHub
parent 98b8fcd89d
commit aad429ba09
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
.github/scripts/check-header.py vendored
View File

@ -43,6 +43,11 @@ class HeaderChecker:
if self.isIgnoredFile(path): if self.isIgnoredFile(path):
return True return True
# Skip if entry is a directory.
if os.path.isdir(path):
print('Skipping valid file check on directory path: %s' % path)
return True
# Don't need entire file. Read sufficienly large chunk of file that should contain the header # Don't need entire file. Read sufficienly large chunk of file that should contain the header
with open(path, encoding='utf-8', errors='ignore') as file: with open(path, encoding='utf-8', errors='ignore') as file:
chunk = file.read(len(''.join(self.header)) + self.padding) chunk = file.read(len(''.join(self.header)) + self.padding)
@ -164,7 +169,8 @@ def main():
checker.ignoreExtension('.vcxproj', checker.ignoreExtension('.vcxproj',
'.vcxproj.filters', '.vcxproj.filters',
'.sln' '.sln'
'.md') '.md,'
'.gitmodules')
checker.ignoreFile(os.path.split(__file__)[-1], # Add self checker.ignoreFile(os.path.split(__file__)[-1], # Add self
'mbedtls_config.h') 'mbedtls_config.h')