diff options
| author | 2021-02-10 22:15:31 -0800 | |
|---|---|---|
| committer | 2021-02-11 22:36:04 -0800 | |
| commit | 2e4fdbdda1a5ffba53ed025e6d04a16d40003325 (patch) | |
| tree | af843fb7c4b0c3b54c6d1fae6960eed83ae0317c /tools/warn/java_warn_patterns.py | |
| parent | 836c0917560de959f4d4bce0c0edf1196fc90b46 (diff) | |
Do not append empty DEFAULT_TIDY_HEADER_DIRS
* Default value will be empty and not work in -header-filter.
Bug: 179530304
Test: make with WITH_TIDY=1 and various setting of DEFAULT_TIDY_HEADER_DIRS
Change-Id: I3f784f545acd12285a5bf6dcae1bab42c9185fe7
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions