On Fri, Jul 20, 2018 at 11:12 AM, Christoph Berg <myon@debian.org> wrote:
Re: Dave Page 2018-07-20 <CA+OCxoxf5u3Ovf5yahei2RG-MA3C9jQLQ5vZ3q=isG5-Upf7Mg@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).