mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-07-30 22:43:08 +03:00
@ -66,7 +66,7 @@ def get_src_files(since: Optional[str]) -> List[str]:
|
|||||||
that have changed since that commit. Without this argument, list all
|
that have changed since that commit. Without this argument, list all
|
||||||
files known to git.
|
files known to git.
|
||||||
|
|
||||||
Only C files are included, and certain files (generated, or 3rdparty)
|
Only C files are included, and certain files (generated, or third party)
|
||||||
are excluded.
|
are excluded.
|
||||||
"""
|
"""
|
||||||
file_patterns = ["*.[hc]",
|
file_patterns = ["*.[hc]",
|
||||||
@ -130,7 +130,8 @@ def get_src_files(since: Optional[str]) -> List[str]:
|
|||||||
# companion files in the same subtree), or for automatically
|
# companion files in the same subtree), or for automatically
|
||||||
# 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("tf-psa-crypto/drivers/everest/") or
|
||||||
|
filename.startswith("tf-psa-crypto/drivers/p256-m/") or
|
||||||
filename in generated_files or
|
filename in generated_files or
|
||||||
is_file_autogenerated(filename))]
|
is_file_autogenerated(filename))]
|
||||||
return src_files
|
return src_files
|
||||||
|
Reference in New Issue
Block a user