mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2025-06-23 01:21:42 +08:00
fix versioning of header checks (#587)
This commit is contained in:
4
.github/scripts/versioning.py
vendored
4
.github/scripts/versioning.py
vendored
@ -104,9 +104,9 @@ def extract_version_number_from_file(file_path):
|
||||
match = re.search('\s*\*\s*(Amazon FreeRTOS.*V(.*))', content, re.MULTILINE)
|
||||
# Is it a kernel file?
|
||||
if match is None:
|
||||
match = re.search('\s*\*\s*(FreeRTOS Kernel.*V(.*))', content, re.MULTILINE)
|
||||
match = re.search('\s*\*\s*(FreeRTOS Kernel.*V([0-9]*\.[0-9]*\.[0-9]*))', content, re.MULTILINE)
|
||||
if match is None:
|
||||
match = re.search('\s*\*\s*(FreeRTOS V(.*\..*))', content, re.MULTILINE)
|
||||
match = re.search('\s*\*\s*(FreeRTOS V([0-9]*\.[0-9]*))', content, re.MULTILINE)
|
||||
# Is it s FreeRTOS+TCP file?
|
||||
if match is None:
|
||||
match = re.search('\s*\*\s*(FreeRTOS\+TCP.*V(.*))', content, re.MULTILINE)
|
||||
|
Reference in New Issue
Block a user