Merge "Replace use of show-ref with name-rev"
This commit is contained in:
commit
e602863642
@ -75,7 +75,7 @@ function get_repos_for_element(){
|
|||||||
mv ${CACHE_PATH}{.tmp,}
|
mv ${CACHE_PATH}{.tmp,}
|
||||||
fi
|
fi
|
||||||
|
|
||||||
HAS_REF=$(git --git-dir=$CACHE_PATH/.git show-ref $REPOREF || true)
|
HAS_REF=$(git --git-dir=$CACHE_PATH/.git name-rev $REPOREF 2>/dev/null || true)
|
||||||
if [ -z "$DIB_OFFLINE" -o -z "$HAS_REF" ] ; then
|
if [ -z "$DIB_OFFLINE" -o -z "$HAS_REF" ] ; then
|
||||||
echo "Updating cache of $REPOLOCATION in $CACHE_PATH with ref $REPOREF"
|
echo "Updating cache of $REPOLOCATION in $CACHE_PATH with ref $REPOREF"
|
||||||
git --git-dir=$CACHE_PATH/.git fetch --update-head-ok $REPOLOCATION ${REPOREF}:${REPOREF}
|
git --git-dir=$CACHE_PATH/.git fetch --update-head-ok $REPOLOCATION ${REPOREF}:${REPOREF}
|
||||||
|
Loading…
Reference in New Issue
Block a user