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

This reverts commit 8de7bc9339.
2023-10-20 08:58:02 +01:00 · 2023-10-20 08:58:02 +01:00 · baa3d4f217
parent 8de7bc9339
commit baa3d4f217
1 changed files with 0 additions and 4 deletions
--- 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}" || \