From eba76137f095d882583644d1c682320c180e832d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 28 Mar 2010 11:13:33 +0000
Subject: Prettier printing of configuration

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1295 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'configure')

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
-- 
cgit v1.2.3