mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-07-30 22:43:08 +03:00
@ -52,7 +52,8 @@ def list_generated_files() -> FrozenSet[str]:
|
|||||||
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
|
# 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)
|
AUTOGEN_RE = re.compile(r"Warning[ :-]+This file is (now )?auto[ -]generated",
|
||||||
|
re.ASCII | re.IGNORECASE)
|
||||||
def is_file_autogenerated(filename):
|
def is_file_autogenerated(filename):
|
||||||
content = open(filename, encoding="utf-8").read()
|
content = open(filename, encoding="utf-8").read()
|
||||||
return AUTOGEN_RE.search(content) is not None
|
return AUTOGEN_RE.search(content) is not None
|
||||||
|
Reference in New Issue
Block a user