mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 17:17:44 -04:00
add txt to the ignored header checker extentions
This commit is contained in:
parent
2346d74541
commit
28863f91d4
1 changed files with 2 additions and 1 deletions
3
.github/scripts/kernel_checker.py
vendored
3
.github/scripts/kernel_checker.py
vendored
|
@ -30,7 +30,8 @@ KERNEL_IGNORED_EXTENSIONS = [
|
||||||
'.tex',
|
'.tex',
|
||||||
'.png',
|
'.png',
|
||||||
'.bat',
|
'.bat',
|
||||||
'.sh'
|
'.sh',
|
||||||
|
'.txt'
|
||||||
]
|
]
|
||||||
|
|
||||||
KERNEL_IGNORED_PATTERNS = [
|
KERNEL_IGNORED_PATTERNS = [
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue