diff options
| author | 2019-12-26 16:27:36 -0800 | |
|---|---|---|
| committer | 2019-12-26 16:52:34 -0800 | |
| commit | 13cb165b91da3881081f9fead865c1e262943269 (patch) | |
| tree | c6d10647d8d86213684bab424c8d414e5f0775b0 /tools/warn/java_warn_patterns.py | |
| parent | 7c18a371471123ce678f49e446edbf748eb80380 (diff) | |
Stop removing valid copy headers
My change to clean up obsolete copy headers would remove valid ones if
thhe LOCAL_COPY_HEADERS_TO path wasn't cleaned. I'm seeing this most
with values that just end in '/', so we end up with a '//' in the path,
which isn't textually equivalent, and we remove it.
Test: No longer seeing constant removals on internal products
Test: Set LOCAL_COPY_HEADERS_TO := ..
Test: Set LOCAL_COPY_HEADERS_TO := ../foo
Test: Set LOCAL_COPY_HEADERS_TO := /foo
Change-Id: Idbeeb207a2bb2a8da766473dbded877cec7c9cc1
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions