Prettier printing of configuration

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

1 files changed, 2 insertions, 1 deletions

diff --git a/configure b/configure
index 2ac95e3..f72e981 100755
--- a/configure
+++ b/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