Mbed-TLS/mbedtls-framework
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls-framework.git synced 2026-10-01 14:27:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1208 from Mbed-TLS/origin/dev/minosgalanakis/development-restricted-merge-19032024

Browse Source 
Merge development on restricted 10/03/2024
This commit is contained in:
minosgalanakis
2024-03-20 18:56:15 +00:00
committed by GitHub
parent 5a46f42ee3 16deea8d31
commit f9fc138077
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/code_style.py
+9 -1
View File
@@ -51,6 +51,13 @@ def list_generated_files() -> FrozenSet[str]:
checks = re.findall(CHECK_CALL_RE, content) checks = re.findall(CHECK_CALL_RE, content)
return frozenset(word for s in checks for word in s.split()) return frozenset(word for s in checks for word in s.split())
# Check for comment string indicating an auto-generated file
AUTOGEN_RE = re.compile(r"Warning[ :-]+This file is (now )?auto[ -]?generated",
re.ASCII | re.IGNORECASE)
def is_file_autogenerated(filename):
content = open(filename, encoding="utf-8").read()
return AUTOGEN_RE.search(content) is not None
def get_src_files(since: Optional[str]) -> List[str]: def get_src_files(since: Optional[str]) -> List[str]:
""" """
Use git to get a list of the source files. Use git to get a list of the source files.
@@ -85,7 +92,8 @@ def get_src_files(since: Optional[str]) -> List[str]:
# generated files (we're correcting the templates instead). # generated files (we're correcting the templates instead).
src_files = [filename for filename in src_files src_files = [filename for filename in src_files
if not (filename.startswith("3rdparty/") or if not (filename.startswith("3rdparty/") or
filename in generated_files)] filename in generated_files or
is_file_autogenerated(filename))]
return src_files return src_files
def get_uncrustify_version() -> str: def get_uncrustify_version() -> str: