diff options
author | Charles Baylis <charles.baylis@linaro.org> | 2017-05-05 14:10:31 +0100 |
---|---|---|
committer | Charles Baylis <charles.baylis@linaro.org> | 2017-05-08 16:46:48 +0000 |
commit | 1f4988986deb6742189aa180609ab474cfc4612e (patch) | |
tree | ab8808ac7550acd80a81c4a3520df35263ccce28 /tcwg-generate-source-cache.sh | |
parent | 6324314ffd712fd6d86cbd4c34d2a2bb0f6446fc (diff) |
tcwg-generate-source-cache.sh: fix update_git_repos
The function update_git_repos contains the assumption that all
git repos are stored in directories with names which match *.git.
This is not true for the repos which are set up by
randomise_llvm_bobblybits(). The fix is to look for the .git
directory instead.
Change-Id: I3b00d369c9b47b43bce9b8e64f4305c53c616905
Diffstat (limited to 'tcwg-generate-source-cache.sh')
-rwxr-xr-x | tcwg-generate-source-cache.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tcwg-generate-source-cache.sh b/tcwg-generate-source-cache.sh index 23e73c97..3f1587f2 100755 --- a/tcwg-generate-source-cache.sh +++ b/tcwg-generate-source-cache.sh @@ -146,11 +146,12 @@ update_git_repos () { local dir="$1" - for repo in `ls $dir/ | grep "\.git\$"`; do + for repo_git in "$dir"/*/.git; do ( - cd $dir/$repo + local repo + repo=$(dirname "$repo_git") # Update and prune local clone - git remote update -p + git -C "$repo" remote update -p ) done } |