Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FreeRTOS/FreeRTOS-Kernel.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '.github/scripts/kernel_checker.py')
-rwxr-xr-x.github/scripts/kernel_checker.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/scripts/kernel_checker.py b/.github/scripts/kernel_checker.py
index 9251c866c..3373cd50c 100755
--- a/.github/scripts/kernel_checker.py
+++ b/.github/scripts/kernel_checker.py
@@ -62,7 +62,8 @@ KERNEL_IGNORED_EXTENSIONS = [
'.bat',
'.sh',
'.txt',
- '.cmake'
+ '.cmake',
+ '.config'
]
KERNEL_ASM_EXTENSIONS = [