From 60e1fd71c7e97b2214daf574e0f41b55a3e0bceb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 19 May 2013 08:09:53 +0000
Subject: Prettier output

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2258 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 68b643a..0245e93 100755
--- a/configure
+++ b/configure
@@ -156,7 +156,7 @@ if test -z "$casmruntime"; then casmruntime="$casm"; fi
 # Test assembler support for CFI directives
 
 if test "$target" != "manual" && test -z "$asm_supports_cfi"; then
-  echo "Testing assembler support for CFI directives..."
+  echo "Testing assembler support for CFI directives... " | tr -d '\n'
   f=/tmp/compcert-configure-$$.s
   rm -f $f
   cat >> $f <<EOF
@@ -168,8 +168,8 @@ testfun:
 	.cfi_endproc
 EOF
   if $casm -o /dev/null $f 2>/dev/null
-  then asm_supports_cfi=true
-  else asm_supports_cfi=false
+  then echo "yes"; asm_supports_cfi=true
+  else echo "no";  asm_supports_cfi=false
   fi
   rm -f $f
 fi
@@ -177,9 +177,12 @@ fi
 # Additional packages needed for cchecklink
 
 if $cchecklink; then
+  echo "Testing availability of ocaml-bitstring... " | tr -d '\n'
   if ocamlfind query bitstring > /dev/null
-  then :
+  then
+    echo "yes"
   else 
+    echo "no"
     echo "ocamlfind or ocaml-bitstring missing, cchecklink will not be built"
     cchecklink=false
   fi
-- 
cgit v1.2.3