diff options
| author | Cobus van Eeden <35851496+cobusve@users.noreply.github.com> | 2020-12-12 16:29:44 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-12 16:29:44 -0800 |
| commit | 8f1ac8456ad41d84c83d7ce70b4047ee33f54f4f (patch) | |
| tree | e27959ece31d2fe1cb11048126a497cf0136b943 /.github/scripts/check-header.py | |
| parent | 3174cf89dab1c0cd6db9001fe24a19ebe60bebd7 (diff) | |
| parent | 41237e01d0b5c582a28adf37739c503caf92afd0 (diff) | |
| download | freertos-git-readme-labs-update.tar.gz | |
Merge branch 'master' into readme-labs-updatereadme-labs-update
Diffstat (limited to '.github/scripts/check-header.py')
| -rwxr-xr-x | .github/scripts/check-header.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/scripts/check-header.py b/.github/scripts/check-header.py index ea37e04b7..a37411212 100755 --- a/.github/scripts/check-header.py +++ b/.github/scripts/check-header.py @@ -362,6 +362,9 @@ FREERTOS_IGNORED_PATTERNS = [ r'.*CMSIS.*', r'.*/makefile', r'.*/Makefile', + r'.*/trcConfig\.h.*', + r'.*/trcConfig\.c.*', + r'.*/trcSnapshotConfig\.h.*', ] FREERTOS_HEADER = [ |