[PATCH 0 of 1] Fix problem with x86 arch

[Richard Strand]

Hi Yann, All,

This is a small patch which fixes compilation when CT_ARCH is set to x86.
It looks like changeset 5d1936ad5ba8 introduced this problem.

Regards,

Richard Strand

--
For unsubscribe information see http://sourceware.org/lists.html#faq