diff options
Diffstat (limited to 'scripts/maint/lintChanges.py')
| -rwxr-xr-x | scripts/maint/lintChanges.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/maint/lintChanges.py b/scripts/maint/lintChanges.py index 2e57295860..fcadc5e505 100755 --- a/scripts/maint/lintChanges.py +++ b/scripts/maint/lintChanges.py @@ -28,6 +28,9 @@ def lintfile(fname): lines = contents.split("\n") isBug = ("bug" in lines[0] or "fix" in lines[0]) + if not re.match(r'^ +o (.*)', contents): + warn("header not in format expected") + contents = " ".join(contents.split()) if isBug and not re.search(r'(\d+)', contents): |