From 141d7325e7e513102fb8c123dab62dbbd61e846d Mon Sep 17 00:00:00 2001 From: Rich Salz Date: Tue, 6 Sep 2016 12:26:38 -0400 Subject: Trim config output With extensive help and feedback from Richard and Andy. Reviewed-by: Richard Levitte Reviewed-by: Andy Polyakov --- config | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'config') diff --git a/config b/config index eef07d8436..6504143150 100755 --- a/config +++ b/config @@ -903,8 +903,6 @@ OUT="$OUT" $PERL $THERE/Configure LIST | grep "$OUT" > /dev/null if [ $? = "0" ]; then - echo Configuring for $OUT - if [ "$VERBOSE" = "true" ]; then echo $PERL $THERE/Configure $OUT $options fi @@ -913,5 +911,6 @@ if [ $? = "0" ]; then fi else echo "This system ($OUT) is not supported. See file INSTALL for details." + exit 1 fi ) -- cgit v1.2.1