diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-headers-self-sufficient | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/check-headers-self-sufficient b/tools/check-headers-self-sufficient index fe58b63fb4..9b676c1094 100755 --- a/tools/check-headers-self-sufficient +++ b/tools/check-headers-self-sufficient @@ -77,6 +77,7 @@ all_header_args = [ '-Itools/flags', '-Itools/gpu', '-Itools/timer', + '-Ithird_party/etc1', '-Ithird_party/externals/jsoncpp/include', '-Ithird_party/externals/libjpeg-turbo', '-Ithird_party/externals/sfntly/cpp/src', |