mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2026-07-27 16:23:46 +00:00
Remove ThirdParty files from header check (#823)
Signed-off-by: Gaurav Aggarwal <aggarg@amazon.com>
This commit is contained in:
committed by
GitHub
parent
c472c08d3d
commit
a57f0b1ae3
3
.github/scripts/core_checker.py
vendored
3
.github/scripts/core_checker.py
vendored
@@ -268,7 +268,8 @@ FREERTOS_IGNORED_PATTERNS = [
|
||||
r'.*/trcConfig\.h.*',
|
||||
r'.*/trcConfig\.c.*',
|
||||
r'.*/trcSnapshotConfig\.h.*',
|
||||
r'.*/MicroZed_hw_platform.*'
|
||||
r'.*/MicroZed_hw_platform.*',
|
||||
r'.*/ThirdParty/.*'
|
||||
]
|
||||
|
||||
FREERTOS_IGNORED_FILES = [
|
||||
|
||||
Reference in New Issue
Block a user