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