diff options
| -rw-r--r-- | src/etc/tidy.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/etc/tidy.py b/src/etc/tidy.py index 1b25095da35..d529bfd5f8b 100644 --- a/src/etc/tidy.py +++ b/src/etc/tidy.py @@ -40,6 +40,9 @@ def do_whitespace_check(name, contents): if '\t' in line: report_error_name_no(name, idx + 1, "tab on line") + if '\r' in line: + report_error_name_no(name, idx + 1, "CR on line") + exceptions = [ # Upstream |