Skip to content

make: Futher systematize handling of generated headers

John Ericson requested to merge wip/make-generated-headers-org into master

This will make it easier to add and remove generated headers, as we will do when we add a configure script for the RTS.

Merge request reports