diff options
| author | Anders Leino <aleino@nvidia.com> | 2025-01-31 19:27:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-31 09:27:20 -0800 |
| commit | a026df756096ca580ca9d19019abd08fa5d2c015 (patch) | |
| tree | c11335fc0834aac4ccfc783b76a539956683b97e /.github | |
| parent | eebe849075c21d163739cbc5e976e7b5b6837e7f (diff) | |
Respect per-target debug options (#6193)
* Base compiler options for targets on target-specific compiler options
Before this change, the target compiler options were based on the linkage-wide compiler
options, which where later again inherited from (basically a no-op).
With this change, the target-specific compiler options are added first, and then
the linkage-wide comnpiler options are inherited from.
* Remove debug instructions if target-specific setting is NONE
This helps to address #6092.
* Make sure the linkage debug info level is sufficient for each target
This closes #6092.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions