Check line endings in check_whitespace.py
authorPyry Haulos <phaulos@google.com>
Tue, 20 Sep 2016 20:19:25 +0000 (13:19 -0700)
committerPyry Haulos <phaulos@google.com>
Tue, 20 Sep 2016 20:19:25 +0000 (13:19 -0700)
Change-Id: I33f9f64478bcb2792cae3e2d4b6501496a54191d

doc/testspecs/VK/apitests.conf
scripts/src_util/check_whitespace.py

index 0b31922..572a4d9 100644 (file)
@@ -1,5 +1,5 @@
-[attributes]\r
-newline=\n\r
-\r
-[replacements]\r
-\+\/-=&plusmn;\r
+[attributes]
+newline=\n
+
+[replacements]
+\+\/-=&plusmn;
index 7d079bf..876e57e 100644 (file)
@@ -34,6 +34,9 @@ def checkFileWhitespace (file):
         if " \t" in line:
             error = True
             print "%s:%i merged <space><tab>" % (file, lineNum+1)
+        if line.endswith("\r") or line.endswith("\r\n"):
+            error = True
+            print "%s:%i incorrect line ending" % (file, lineNum+1)
     f.close()
 
     return not error