--- rpl/Attic/configure	2011/07/22 07:38:00	1.67
+++ rpl/Attic/configure	2011/07/22 21:04:37	1.68
@@ -5886,12 +5886,13 @@ else
 fi
 else
 
-	ABI=-m32
+	ABI=
 
 
 fi
 
 
+if test x$ABI = x; then
 
 # Check whether --with-64bits was given.
 if test "${with_64bits+set}" = set; then :
@@ -5903,11 +5904,12 @@ else
 fi
 else
 
-	ABI=-m64
+	ABI=
 
 
 fi
 
+fi
 
 
 # Check whether --with-rplcas was given.