diff --git a/configure b/configure index 37b69457..f4fd9e0d 100755 --- a/configure +++ b/configure @@ -84,11 +84,11 @@ echo -n > $CONFIG_LOG echo-check() { echo -n "Checking $*... " >&2 ; echo "# CHECK-START: $*" >> $CONFIG_LOG; } echo-ok() { local opts=; if [ "X$1" = "X-n" ]; then shift; opts="-n"; fi - echo $opts "$*" >&2 ; echo $opts -e "# CHECK-OK: $*\n" >> $CONFIG_LOG; + echo $opts "$*" >&2 ; echo $opts -e "# CHECK-OK: $*\n" >> $CONFIG_LOG; } -echo-ok-tag() { echo "OK" >&2 ; echo -e "# CHECK-OK\n" >> $CONFIG_LOG; } -echo-err() { echo "$*" >&2 ; echo -e "# CHECK-FAIL: $*\n" >> $CONFIG_LOG; } -echo-skip() { echo "$*" >&2 ; echo -e "# CHECK-SKIP: $*\n" >> $CONFIG_LOG; } +echo-ok-tag() { echo "OK" >&2 ; echo -e "# CHECK-OK\n" >> $CONFIG_LOG; } +echo-err() { echo "$*" >&2 ; echo -e "# CHECK-FAIL: $*\n" >> $CONFIG_LOG; } +echo-skip() { echo "$*" >&2 ; echo -e "# CHECK-SKIP: $*\n" >> $CONFIG_LOG; } # check OS echo-check your OS @@ -688,6 +688,6 @@ fi { echo echo "Congrats, you're all set. Installation will be done in:" - echo " $PREFIX" + echo " $PREFIX" echo } >&2