Add -R to pull commands in init_deps.sh

This commit is contained in:
Théophile Diot 2023-07-03 12:12:06 -04:00
parent 96586d4a68
commit f3809bc698
No known key found for this signature in database
GPG Key ID: E752C80DB72BB014
1 changed files with 1 additions and 1 deletions

View File

@ -51,7 +51,7 @@ do
else
echo "⚠️ Skipping clone of $url because target directory is already present"
echo " Updating ${name} from ${url} at commit/version ${commit}"
do_and_check_cmd git subtree pull --prefix src/deps/src/${id} ${url} ${commit} --squash
do_and_check_cmd git subtree pull --prefix src/deps/src/${id} ${url} ${commit} -R --squash
fi
if [ -d "src/deps/src/${id}/.git" ] ; then