diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/maint/lintChanges.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py index 19d03ec8da..c2fc01d2bf 100755 --- a/scripts/maint/lintChanges.py +++ b/scripts/maint/lintChanges.py @@ -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()) |