Re: Dave Page 2018-07-20 <CA+OCxoxf5u3Ovf5yahei2RG-MA3C9jQLQ5vZ3q=isg5-upf...@mail.gmail.com> > Yes, at minimum I suspect. Does it complain if it's there on x86 Linux? > Christoph said he needed it on non-x86 archs.
It's needed on non-x86 Linux, but does not complain on x86 (and I think it's good style to use it there as well). Christoph