cpplint --filter=-legal/copyright

This commit is contained in:
Christian Clauss 2019-12-03 12:06:19 +01:00 committed by GitHub
parent 9fb42721de
commit f3da4bd7c6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,7 +28,7 @@ jobs:
sys.exit(0) sys.exit(0)
print("cpplint:") print("cpplint:")
print(subprocess.check_output(["cpplint", "filter=-legal/copyright"] + 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()] upper_files = [file for file in cpp_files if file != file.lower()]
if upper_files: if upper_files: