Prettier printing of configuration

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1295 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

configure

@@ -180,7 +180,8 @@ libdirexp=`echo "$libdir" | sed -e "s|\\\$(PREFIX)|$prefix|"`
 cat <<EOF
 
 CompCert configuration:
-    Target architecture........... $arch ($variant)
+    Target architecture........... $arch
+    Application binary interface.. $variant
     OS and development env........ $system
     C compiler.................... $cc
     C preprocessor................ $cprepro