diff options
Diffstat (limited to '.github/scripts/core_checker.py')
| -rwxr-xr-x | .github/scripts/core_checker.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/scripts/core_checker.py b/.github/scripts/core_checker.py index 97e9bd590..d9d279979 100755 --- a/.github/scripts/core_checker.py +++ b/.github/scripts/core_checker.py @@ -265,7 +265,8 @@ FREERTOS_IGNORED_FILES = [ 'requirements.txt', 'run-cbmc-proofs.py', '.editorconfig', - 'lcovrc' + 'lcovrc', + 'htif.c', 'htif.h' ] FREERTOS_HEADER = [ |