ManuelvOK c07fcd45f1 [Coverage] Map regions from system headers (#76950) ...

In 2155195131, the
"system-headers-coverage" option has been added but not used in all
necessary places.

This is the recommit since it has been reverted in
faef68bca8

Potential reviewers: @gulfemsavrun @petrhosek

Co-authored-by: Manuel Kalettka <manuel.kalettka@kernkonzept.com>

2024-02-02 18:04:24 +09:00

87 KiB

Raw Blame History

View Raw