mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-09-12 09:07:46 -04:00
decouple kernel check configs from fr/fr + checker sources from PR ref
This commit is contained in:
parent
8e99e2d38b
commit
878861b603
2 changed files with 80 additions and 2 deletions
77
.github/scripts/kernel_checker.py
vendored
Executable file
77
.github/scripts/kernel_checker.py
vendored
Executable file
|
@ -0,0 +1,77 @@
|
||||||
|
#!/usr/bin/env python3
|
||||||
|
|
||||||
|
import os
|
||||||
|
from common.header_checker import HeaderChecker
|
||||||
|
|
||||||
|
#--------------------------------------------------------------------------------------------------
|
||||||
|
# CONFIG
|
||||||
|
#--------------------------------------------------------------------------------------------------
|
||||||
|
KERNEL_IGNORED_EXTENSIONS = [
|
||||||
|
'.yml',
|
||||||
|
'.css',
|
||||||
|
'.idx',
|
||||||
|
'.md',
|
||||||
|
'.url',
|
||||||
|
'.sty',
|
||||||
|
'.0-rc2',
|
||||||
|
'.s82',
|
||||||
|
'.js',
|
||||||
|
'.out',
|
||||||
|
'.pack',
|
||||||
|
'.2',
|
||||||
|
'.1-kernel-only',
|
||||||
|
'.0-kernel-only',
|
||||||
|
'.0-rc1',
|
||||||
|
'.readme',
|
||||||
|
'.tex',
|
||||||
|
'.png',
|
||||||
|
'.bat',
|
||||||
|
'.sh'
|
||||||
|
]
|
||||||
|
|
||||||
|
KERNEL_IGNORED_PATTERNS = [r'.*\.git.*']
|
||||||
|
|
||||||
|
KERNEL_HEADER = [
|
||||||
|
'/*\n',
|
||||||
|
' * FreeRTOS Kernel V10.4.2\n',
|
||||||
|
' * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.\n',
|
||||||
|
' *\n',
|
||||||
|
' * Permission is hereby granted, free of charge, to any person obtaining a copy of\n',
|
||||||
|
' * this software and associated documentation files (the "Software"), to deal in\n',
|
||||||
|
' * the Software without restriction, including without limitation the rights to\n',
|
||||||
|
' * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of\n',
|
||||||
|
' * the Software, and to permit persons to whom the Software is furnished to do so,\n',
|
||||||
|
' * subject to the following conditions:\n',
|
||||||
|
' *\n',
|
||||||
|
' * The above copyright notice and this permission notice shall be included in all\n',
|
||||||
|
' * copies or substantial portions of the Software.\n',
|
||||||
|
' *\n',
|
||||||
|
' * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\n',
|
||||||
|
' * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS\n',
|
||||||
|
' * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR\n',
|
||||||
|
' * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER\n',
|
||||||
|
' * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN\n',
|
||||||
|
' * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.\n',
|
||||||
|
' *\n',
|
||||||
|
' * https://www.FreeRTOS.org\n',
|
||||||
|
' * https://github.com/FreeRTOS\n',
|
||||||
|
' *\n',
|
||||||
|
' */\n',
|
||||||
|
]
|
||||||
|
|
||||||
|
|
||||||
|
def main():
|
||||||
|
parser = HeaderChecker.configArgParser()
|
||||||
|
|
||||||
|
checker = HeaderChecker(KERNEL_HEADER)
|
||||||
|
checker.ignoreExtension(*KERNEL_IGNORED_EXTENSIONS)
|
||||||
|
checker.ignorePattern(*KERNEL_IGNORED_PATTERNS)
|
||||||
|
|
||||||
|
checker.ignoreFile(os.path.split(__file__)[-1])
|
||||||
|
|
||||||
|
n_failed = 0
|
||||||
|
return n_failed
|
||||||
|
|
||||||
|
if __name__ == '__main__':
|
||||||
|
exit(main())
|
||||||
|
|
5
.github/workflows/header-checks.yml
vendored
5
.github/workflows/header-checks.yml
vendored
|
@ -16,7 +16,7 @@ jobs:
|
||||||
env:
|
env:
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||||
|
|
||||||
# Get latest checks from master
|
# There is shared code, hosted by FreeRTOS/FreeRTOS, with deps needed by header checker
|
||||||
- name: Checkout FreeRTOS Tools
|
- name: Checkout FreeRTOS Tools
|
||||||
uses: actions/checkout@v2
|
uses: actions/checkout@v2
|
||||||
with:
|
with:
|
||||||
|
@ -41,6 +41,7 @@ jobs:
|
||||||
- name: Check File Headers
|
- name: Check File Headers
|
||||||
run: |
|
run: |
|
||||||
cd inspect
|
cd inspect
|
||||||
../tools/.github/scripts/check-header.py --kernel --json ${HOME}/files.json
|
export PYTHONPATH=../tools/.github/scripts:${PYTHONPATH}
|
||||||
|
.github/scripts/kernel_checker.py --json ${HOME}/files_modified.json ${HOME}/files_added.json ${HOME}/files_renamed.json
|
||||||
exit $?
|
exit $?
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue