From 8b87debbc28d947220614f315cbcee5dfe17436a Mon Sep 17 00:00:00 2001 From: Ramkumar Ramachandra Date: Thu, 6 Jun 2013 17:37:31 +0530 Subject: [PATCH] configure: replace echo "" with plain echo When no arguments are given, echo prints a blank line. These two are equivalent: $ echo "" $ echo Replace the former by the latter. Signed-off-by: Ramkumar Ramachandra --- configure | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/configure b/configure index e581631b71d..1c658af9fee 100755 --- a/configure +++ b/configure @@ -138,7 +138,7 @@ validate_opt () { done if [ "$arg" = "--help" ] then - echo "" + echo echo "No more help available for Configure options," echo "check the Wiki or join our IRC channel" break @@ -349,11 +349,11 @@ if [ "$1" = "--help" ] then HELP=1 shift - echo "" + echo echo "Usage: $CFG_SELF [options]" - echo "" + echo echo "Options:" - echo "" + echo else msg "recreating config.tmp" echo '' >config.tmp @@ -394,7 +394,7 @@ validate_opt if [ $HELP -eq 1 ] then - echo "" + echo exit 0 fi