diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-05-28 12:50:25 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-06-03 16:56:47 +0200 |
| commit | ad89c7bf02011e28d7ec822186e1d834059c8dcb (patch) | |
| tree | 86ffeb9e624f84d4083500e4b521def7af99843f /etc/json-format.py | |
| parent | 03fa22155c8236e4834e2b51bc7a631ca170459e (diff) | |
| download | rules-cc-ad89c7bf02011e28d7ec822186e1d834059c8dcb.tar.gz | |
debug rule: Fix staging of headers
For libraries the headers of private dependencies were wrongly
skipped from staging. For binaries, no headers were passed at all
in the provides map. To fix these issues, an additional field is
added in the provides map to ensure we collect, and then properly
stage, all needed headers for both libraries and binaries.
Diffstat (limited to 'etc/json-format.py')
0 files changed, 0 insertions, 0 deletions