diff options
| -rwxr-xr-x | include/git.sh | 4 | 
1 files changed, 0 insertions, 4 deletions
| diff --git a/include/git.sh b/include/git.sh index e08d0ae4..7f4b1f40 100755 --- a/include/git.sh +++ b/include/git.sh @@ -98,10 +98,6 @@ clone_project()  	loc="${loc#src/}"  	loc="src/${loc}" -	if [ -d "${loc}" ]; then -		printf "%s already exists, so skipping download\n" 1>&2 -		return 0 -	fi  	git clone ${url} "${tmp_git_dir}" || \  	    git clone ${bkup_url} "${tmp_git_dir}" || \ | 
