Correct source-repository comments
git revisions are not references. Change-Id: If450e70e46cd30a2662b7246a2555c118ed33ad2
This commit is contained in:
parent
6ff1681915
commit
d5e0c2d778
@ -119,12 +119,12 @@ function get_repos_for_element(){
|
|||||||
pushd $REPO_DEST
|
pushd $REPO_DEST
|
||||||
sudo git fetch $CACHE_PATH $REPOREF
|
sudo git fetch $CACHE_PATH $REPOREF
|
||||||
sudo git reset --hard FETCH_HEAD
|
sudo git reset --hard FETCH_HEAD
|
||||||
# Get the reference in use
|
# Get the sha in use
|
||||||
git_ref=$(git rev-parse FETCH_HEAD)
|
git_sha=$(git rev-parse FETCH_HEAD)
|
||||||
popd
|
popd
|
||||||
|
|
||||||
# Write the reference being used into the source-repositories manifest
|
# Write the sha being used into the source-repositories manifest
|
||||||
echo "$REPONAME git $REPOPATH $REPOLOCATION $git_ref" >> $GIT_MANIFEST
|
echo "$REPONAME git $REPOPATH $REPOLOCATION $git_sha" >> $GIT_MANIFEST
|
||||||
;;
|
;;
|
||||||
tar)
|
tar)
|
||||||
# The top level directory of the tarball mightn't have a fixed name i.e.
|
# The top level directory of the tarball mightn't have a fixed name i.e.
|
||||||
|
Loading…
Reference in New Issue
Block a user