Expose `-Wno` via `ignore-warnings` kompile option#4471

Merged

rv-jenkins merged 13 commits intodevelopfrom expose-Wno

Jun 25, 2024

+16

Commits on Jun 23, 2024

kompile.py: move ignore-warnings to Kompile.__call__
JuanCoRo
committed

Commits on Jun 25, 2024

Merge branch 'develop' into expose-Wno
JuanCoRo
authored