if test x$VG_PLATFORM = xx86-linux -o x$VG_PLATFORM = xamd64-linux; then
if test x$VG_PLATFORM = xx86-linux; then
VG_X86_LINUX_TRUE=
VG_X86_LINUX_FALSE='#'
else