ref: d9a69a1e2967920afbeee2a76ce978d3e210298c
parent: 7ec916e8183332df6f1bd94b58f344f9923833b7
parent: 1c9fd977aa5e8a2f115554a15e4a5e804e638ccb
author: James Zern <jzern@google.com>
date: Fri Jun 19 14:15:00 EDT 2020
Merge "tools/lint-hunks.py: skip third_party files"
--- a/tools/lint-hunks.py
+++ b/tools/lint-hunks.py
@@ -106,6 +106,8 @@
for filename, affected_lines in file_affected_line_map.iteritems():
if filename.split(".")[-1] not in ("c", "h", "cc"):
continue
+ if filename.startswith("third_party"):
+ continue
if args:
# File contents come from git