--- configure~	2016-07-04 20:03:46.561593290 +0100
+++ configure	2016-07-04 20:09:20.400660865 +0100
@@ -405,10 +405,6 @@
 x86     && build_arch=ia32
 x86_64  && build_arch=x86_64
 ppc     && build_arch=ppc
-alpha   && build_arch=alpha
-sparc   && build_arch=sparc
-mips    && build_arch=mips
-arm     && build_arch=arm
 
 echores "$build_arch"