build: tell user about removal of non-git repo

2017-08-05 13:41:37 +02:00 · 2017-08-05 13:41:37 +02:00 · 281a3cd478
parent c7758a578c
commit 281a3cd478
1 changed files with 2 additions and 0 deletions
--- a/build/common.sh
+++ b/build/common.sh
@ -251,7 +251,9 @@ git_clone()
 	fi

 	if [ -d "${1}" ]; then
+		echo -n ">>> Removing ${1}... "
 		rm -r "${1}"
+		echo "done"
 	fi

 	echo ">>> Cloning ${1}:"