Marek Polacek <pola...@redhat.com> writes: > > +Only emit the module CMI, inhibiting any object file. > > Maybe say here that CMI is Compiled Module Interface.
FYI, SG15 (WG21 study group on tooling) seems to have settled on BMI ("built module interface"): https://github.com/cplusplus/modules-ecosystem-tr/blob/master/definitions.tex