Merge pull request diffblue#1304 from peterschrammel/bugfix/linter-copyright-check

Make linter accept alternative copyright header

Author: Daniel Kroening

scripts/cpplint.py

@@ -1925,11 +1925,11 @@ def CheckForCopyright(filename, lines, error):
   # We'll say it should occur by line 10. Don't forget there's a
   # dummy line at the front.
   for line in xrange(1, min(len(lines), 11)):
-    if re.search(r'Author', lines[line], re.I): break
+    if re.search(r'Author|Copyright', lines[line], re.I): break
   else:                       # means no copyright line was found
     error(filename, 0, 'legal/copyright', 5,
           'No copyright message found.  '
-          'You should have a line: "Author: <name>"')
+          'You should have a line: "Author: <name>" or "Copyright <year> ..."')
 
 
 def GetIndentLevel(line):