From e70ffac8668fe7c20f8699f1a67c57d80212a250 Mon Sep 17 00:00:00 2001 From: Radek Szymczyszyn Date: Thu, 15 Jun 2017 14:35:07 +0200 Subject: Edit console printout --- kerl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kerl b/kerl index 4de218c..20f4b04 100755 --- a/kerl +++ b/kerl @@ -404,7 +404,7 @@ do_git_build() GIT=$(echo -n "$1" | $MD5SUM | cut -d ' ' -f $MD5SUM_FIELD) mkdir -p "$KERL_GIT_DIR" || exit 1 cd "$KERL_GIT_DIR" || exit 1 - echo "Checking Erlang/OTP git repository from $1..." + echo "Checking out Erlang/OTP git repository from $1..." if [ ! -d "$GIT" ]; then git clone -q --mirror "$1" "$GIT" > /dev/null 2>&1 if [ $? -ne 0 ]; then -- cgit v1.2.3