diff options
| -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}" || \ |