embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-07-27 08:13:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci: Exclude winpcap lib from header file check

Browse Source
This commit is contained in:
Paul Bartell
2022-07-27 11:17:27 -07:00
committed by Paul Bartell
parent a685e63049
commit ce4c52c33f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/scripts/core_checker.py vendored
View File

@@ -269,7 +269,8 @@ FREERTOS_IGNORED_PATTERNS = [
r'.*/trcConfig\.c.*',
r'.*/trcSnapshotConfig\.h.*',
r'.*/MicroZed_hw_platform.*',
r'.*/ThirdParty/.*'
r'.*/ThirdParty/.*',
r'FreeRTOS\-Plus/Demo/Common/WinPCap/.*'
]
FREERTOS_IGNORED_FILES = [