cpplint filter=-legal/copyright

This commit is contained in:
Christian Clauss 2019-12-03 11:38:30 +01:00 committed by GitHub
parent 657ae4f7e4
commit e25cd6c0c2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,7 +28,7 @@ jobs:
sys.exit(0)
print("cpplint:")
print(subprocess.check_output(["cpplint"] + cpp_files).decode("utf-8"))
print(subprocess.check_output(["cpplint", "filter=-legal/copyright"] + cpp_files).decode("utf-8"))
upper_files = [file for file in cpp_files if file != file.lower()]
if upper_files: