changeset 8:42b21d1a4e84

Accept no newline at end of file for vertoo.data.
author Sjoerd Mullender <sjoerd@acm.org>
date Wed, 05 Nov 2014 09:33:14 +0100 (2014-11-05)
parents 2ac85cc1e11b
children 1ba95b6130d4
files check_whitespace.py
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/check_whitespace.py	Tue Nov 04 12:58:48 2014 +0100
+++ b/check_whitespace.py	Wed Nov 05 09:33:14 2014 +0100
@@ -58,7 +58,10 @@
                 adding = True
             elif line[:1] in (' ', '-'):
                 adding = False
-            elif adding and not islink and line.startswith(r'\ No newline at end of file'):
+            elif adding \
+                 and not islink \
+                 and line.startswith(r'\ No newline at end of file') \
+                 and not filename.endswith('vertoo.data'):
                 adding = False
                 yield filename, linenum, 'no newline at end of file'
             # hunk body - check for an added line with bad whitespace