Our config tools return "x86_64" as an arch. Like this: [EMAIL PROTECTED] ~]$ gcc/trunk/config.guess x86_64-unknown-linux-gnu
But try it with gcc, and [EMAIL PROTECTED] ~]$ gcc -S add-entropy.c -march=x86_64 add-entropy.c:1: error: bad value (x86_64) for -march= switch add-entropy.c:1: error: bad value (x86_64) for -mtune= switch However, if you read the gcc source you'll discover it's not "x86_64" but "x86-64": [EMAIL PROTECTED] ~]$ gcc -S add-entropy.c -march=x86-64 [EMAIL PROTECTED] ~]$ So, which is it supposed to be? In general we use "x86_64" everywhere, but gcc seems to have decided to use "x86-64". Perhaps we should accept "x86_64" as well? Thank you, Confused of Cambridge.