diff options
| author | Paul Duffin <paulduffin@google.com> | 2020-02-20 14:33:54 +0000 |
|---|---|---|
| committer | Paul Duffin <paulduffin@google.com> | 2020-02-20 21:52:02 +0000 |
| commit | 5efd1985d165af791d21c3f002f42af128371054 (patch) | |
| tree | ca11d682ea3fbefdf3eea5badf3667b80a581c94 /scripts/jsonmodify.py | |
| parent | 583bf7ebf734a1d501cc520226793de1799d8e59 (diff) | |
Ensure consistent handling of generated headers/dirs
The list of exported generated headers are all expected to be within
one of the exported generated include dirs. Previously, that was not
the case as ExportedGeneratedIncludeDirs was suitable for extracting
to common properties (which changes the output location) and
exportedGeneratedHeaders was not.
This would cause a problem if there was only one variant. In that case
the ExportedGeneratedIncludeDirs would be treated as a common property
and placed in include_gen/<x> directory while exportedGeneratedHeaders
would be treated as an arch specific property and placed in
<arch>/include_gen/<x>.
Bug: 142935992
Test: m nothing
Change-Id: Idf82a5ca551b44ec31971c7ff3bd957a4c38f396
Diffstat (limited to 'scripts/jsonmodify.py')
0 files changed, 0 insertions, 0 deletions