mirror of
https://gitlab.torproject.org/tpo/core/tor.git
synced 2024-12-06 19:41:15 +01:00
Be exact about the number of spaces in the header.
Also fixes changes files that warn on this.
This commit is contained in:
committed by
Nick Mathewson
parent
9dc90a5b7b
commit
034f51dd02
@@ -31,7 +31,7 @@ def lintfile(fname):
|
||||
lines = contents.split("\n")
|
||||
isBug = ("bug" in lines[0] or "fix" in lines[0])
|
||||
|
||||
if not re.match(r'^ +o (.*)', contents):
|
||||
if not re.match(r'^[ ]{2}o (.*)', contents):
|
||||
warn("header not in format expected")
|
||||
|
||||
contents = " ".join(contents.split())
|
||||
|
||||
Reference in New Issue
Block a user