On Fri, May 26, 2023 at 7:22 PM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > I.e. gnumach without optimizations gets things wrong. We do want to fix > that :)
Or, we could also shrug it off and do what glibc is doing: #ifndef __OPTIMIZE__ # error "gnumach cannot be compiled without optimization" #endif :) :) :) :) :) Sergey P.S. I don't think I'm breaking any news here, but glibc totally can be compiled without optimizations -- it only requires removing that #error and tweaking some things here and there. And it does produce working binaries.