On Thu, May 16, 2019 at 03:56:07PM +0200, Johannes Hirte wrote: > On 2019 Mai 15, Kees Cook wrote: > > Various stupid questions: did you wipe the whole bulid tree and start > > clean? > > No I didn't. And this fixed it now. After a distclean I'm unable to > reproduce it. So sorry for the noise.
Okay, whew! Thanks for double-checking. No worries about the noise: it wouldn't have been the first time I broke some corner case. :) -- Kees Cook
