Revert "Revert "include/git: don't re-download single-trees""

This reverts commit baa3d4f217.
2023-10-20 09:12:23 +01:00 · 2023-10-20 09:12:23 +01:00 · 73145b7980
parent 31b35bb4ce
commit 73145b7980
1 changed files with 4 additions and 0 deletions
--- 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}" || \