diff options
| -rwxr-xr-x | src/clint.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/clint.py b/src/clint.py index efc5f18378..07733d211e 100755 --- a/src/clint.py +++ b/src/clint.py @@ -3001,9 +3001,10 @@ def CheckIncludeLine(filename, clean_lines, linenum, include_state, error): include = match.group(2) is_system = (match.group(1) == '<') if include in include_state: - error(filename, linenum, 'build/include', 4, - '"%s" already included at %s:%s' % - (include, filename, include_state[include])) + if is_system or not include.endswith('.c.h'): + error(filename, linenum, 'build/include', 4, + '"%s" already included at %s:%s' % + (include, filename, include_state[include])) else: include_state[include] = linenum |