mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-11-27 22:03:31 +01:00
Merge remote-tracking branch 'tor-gitlab/mr/426'
This commit is contained in:
commit
677b0c9f6d
@ -40,11 +40,13 @@ def warn(msg):
|
|||||||
print(msg, file=sys.stderr)
|
print(msg, file=sys.stderr)
|
||||||
|
|
||||||
def fname_is_c(fname):
|
def fname_is_c(fname):
|
||||||
""" Return true iff 'fname' is the name of a file that we should
|
"""
|
||||||
search for possibly disallowed #include directives. """
|
Return true if 'fname' is the name of a file that we should
|
||||||
if fname.endswith(".h") or fname.endswith(".c"):
|
search for possibly disallowed #include directives.
|
||||||
|
"""
|
||||||
|
if fname.endswith((".c", ".h")):
|
||||||
bname = os.path.basename(fname)
|
bname = os.path.basename(fname)
|
||||||
return not (bname.startswith(".") or bname.startswith("#"))
|
return not bname.startswith((".", "#"))
|
||||||
else:
|
else:
|
||||||
return False
|
return False
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user