diff options
Diffstat (limited to 'src/clint.py')
| -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 | 
