diff options
Diffstat (limited to 'include')
| -rwxr-xr-x | include/git.sh | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/include/git.sh b/include/git.sh index 7f4b1f40..e08d0ae4 100755 --- a/include/git.sh +++ b/include/git.sh @@ -98,6 +98,10 @@ 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}" || \ | 
