diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2019-12-13 18:55:18 -0800 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2019-12-13 19:35:05 -0800 |
| commit | 79a0caff3536baf74ca1bd1395b104f4df151f8e (patch) | |
| tree | 7df64c635cd0bbf13f627669bddf277fad119c87 /tools/warn/cpp_warn_patterns.py | |
| parent | 565bb632c770fa61522e766f4ffcca90ae1e9116 (diff) | |
Write list of copy headers
So that soong_ui can remove obsolete headers that have been removed.
Test: cat out/target/product/crosshatch/.copied_headers_list
Test: cat out/target/product/generic/.copied_headers_list
Change-Id: I7df8029c1f2ed630d35c357f94e5dfb668e5824f
Diffstat (limited to 'tools/warn/cpp_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions