diff options
Diffstat (limited to '.github/scripts/core_checker.py')
| -rwxr-xr-x | .github/scripts/core_checker.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/scripts/core_checker.py b/.github/scripts/core_checker.py index 901e65dcd..a2e787a54 100755 --- a/.github/scripts/core_checker.py +++ b/.github/scripts/core_checker.py @@ -270,6 +270,7 @@ FREERTOS_IGNORED_PATTERNS = [ r'.*/trcConfig\.c.*', r'.*/trcSnapshotConfig\.h.*', r'.*/trcKernelPortConfig\.h.*', + r'.*/trcKernelPortSnapshotConfig\.h.*', r'.*/MicroZed_hw_platform.*', r'.*/ThirdParty/.*', r'FreeRTOS\-Plus/Demo/Common/WinPCap/.*', @@ -302,7 +303,8 @@ FREERTOS_IGNORED_FILES = [ 'FreeRTOS_asm_vectors.S', 'interrupt_vector.s', 'reg_test.S', - 'gdbinit' + 'gdbinit', + ] FREERTOS_HEADER = [ |