[email protected] wrote: > On 2019-11-05 05:52, Theo de Raadt wrote: > > > > > The directory GENERIC.MP in /usr/share/relink/kernel/ was > > > obviosly not updated (but directory GENERIC was updated!). > > > > I doubt it. Upon upgrade, they are both replaced. Then the undesired > > one is deleted to avoid overflowing /usr partition, since many users who > > have upgraded repeatedly are using older partioning layouts and after > > the flip to clang /usr is a bit tight for them. > > I confirm again, the directory GENERIC.MP in /usr/share/relink/kernel/ > was old, most files from the old GENERIC.MP have date April 13, > while most files in the new one are from October 12.
Ah, there was a change. On extract, the other dir is skipped. But I thought we deleted the entire compile zone. Anyways, even if they were new files it would not have worked since the MP kernel was selected, and because you manipulated /bsd to be incoherent with the saved hash.
