url cache

This commit is contained in:
j3d1 2021-03-11 23:29:53 +01:00
parent 7d7b46ba21
commit 5a010aec09

View file

@ -24,7 +24,8 @@ function unbox_outer_stage(){
fi
echo $REMOTE
echo $REMOTE >> .repo_cache
URL_CACHE=$( ( cat .repo_cache; echo $REMOTE;) | sort | uniq )
echo $URL_CACHE > .repo_cache
if [ -e repo ]; then
(cd repo; git pull)