diff options
author | 2018-09-21 09:38:17 -0700 | |
---|---|---|
committer | 2018-09-21 10:34:25 -0700 | |
commit | 60bd4bf079c7637c71c504985af75057b0b3c5c3 (patch) | |
tree | 6aee53c20a35f8a0f62016f2da949baf05642647 /java/java_resources.go | |
parent | 21e2a790ca693951136b4f37fc870ce92dd00ec8 (diff) |
Use DEFAULT_TIDY_HEADER_DIRS env variable.
This variable is a regular expression to be passed as
additional patterns to the -header-filter flag for clang-tidy.
For example, when make with WITH_TIDY=1 DEFAULT_TIDY_HEADER_DIRS="d1/d2|mydir/*"
for a project in external/xyz, clang-tidy will be called with additional flag
-header-filter=\"(external/xyz|d1/d2|mydir/*)\"
Test: make with WITH_TIDY=1 DEFAULT_TIDY_HEADER_DIRS="d1/d2|mydir/*"
Bug: 32668284
Change-Id: I6051f4f80bc6dbab882bd81435ccbc772772ac63
Diffstat (limited to 'java/java_resources.go')
0 files changed, 0 insertions, 0 deletions