Hi, Keshav.
On Mon, Jan 14, 2013 at 9:37 PM, Keshav Kini keshav.k...@gmail.com wrote:
Rogério Brito rbr...@ime.usp.br writes:
I use a Debian sid/unstable system with Linux kernel for amd64/x86_64, but
with userland being i386.
Thanks for the report. I've seen this issue come up before, I
On Jan 15 2013, P Purkayastha wrote:
On 01/15/2013 04:17 PM, Rogério Brito wrote:
Just for the record, I worked-around the issue by running the build
under a 32-bit personality of the kernel (see linux32).
Do you mean that you were compiling for x86 with an amd64 kernel?
Yes, precisely:
Rogério Brito rbr...@ime.usp.br writes:
Hi there.
I use a Debian sid/unstable system with Linux kernel for amd64/x86_64, but
with userland being i386.
Thanks for the report. I've seen this issue come up before, I believe.
I'm CCing sage-devel in case someone there knows what to do about it.