--- rpl/Attic/configure.in	2011/07/22 07:38:00	1.70
+++ rpl/Attic/configure.in	2011/07/22 21:04:37	1.71
@@ -122,10 +122,11 @@ if test "$with-32bits-abi" = "no"; then
 else
 	ABI=-m32
 fi],[
-	ABI=-m32
+	ABI=
 	]
 )
 
+if test x$ABI = x; then
 AC_ARG_WITH(64bits,
 [  --with-64bits-abi       force 64bits ABI (multilib)],[
 if test "$with-64bits-abi" = "no"; then
@@ -133,9 +134,10 @@ if test "$with-64bits-abi" = "no"; then
 else
 	ABI=-m64
 fi],[
-	ABI=-m64
+	ABI=
 	]
 )
+fi
 
 dnl RPL/CAS support
 AC_ARG_WITH(rplcas,