However this now seems to be a more general issue with the system. Some simple core
Code: Select all
#include <stdio.h>
int main(int argc,char *argv[]){
printf("%d\n",sizeof(long double));
}
Any ideas what could cause this? The kernel has 32 bit support built in.

