On 2020-06-30 22:12, Magnus Ihse Bursie wrote:
Are we talking about many files? Could you consider listing those files explicitly in the makefile? That would make it cheap to filter them out from the normal compilation, and instead do a secondary compilation with them.Second to that a solution in the build would be preferable - if we can come up with something that has infinitesimal impact to build times.
Right now there's one micro using --enable-preview, so that'd be a very short list. /Claes
