diff options
author | Emil Velikov <emil.velikov@collabora.com> | 2017-02-11 12:45:21 +0000 |
---|---|---|
committer | Emil Velikov <emil.l.velikov@gmail.com> | 2017-02-16 15:17:52 +0000 |
commit | 71e00d62ed2228a773a4f5abff98a16961e7f21c (patch) | |
tree | 9d23916f5f45cc59df33e0adb13986e8ad563c36 /bin | |
parent | cb1947eac70f63d78835a5442017b1f3b7099d77 (diff) | |
download | mesa-71e00d62ed2228a773a4f5abff98a16961e7f21c.tar.gz mesa-71e00d62ed2228a773a4f5abff98a16961e7f21c.tar.bz2 mesa-71e00d62ed2228a773a4f5abff98a16961e7f21c.zip |
bin/get-extra-pick-list: rework to use already_picked list
Currently we loop (git log --grep) to check if the fix has landed. We
can simplify and make things faster by storing the already_picked list
and grep ping through it.
Slim down the message while we're here.
Cc: "13.0 17.0" <mesa-stable@lists.freedesktop.org>
Signed-off-by: Emil Velikov <emil.velikov@collabora.com>
Reviewed-by: Eric Engestrom <eric.engestrom@imgtec.com>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/get-extra-pick-list.sh | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/bin/get-extra-pick-list.sh b/bin/get-extra-pick-list.sh index f292d3ec8b5..4d3938931fb 100755 --- a/bin/get-extra-pick-list.sh +++ b/bin/get-extra-pick-list.sh @@ -15,20 +15,23 @@ latest_branchpoint=`git merge-base origin/master HEAD` # Grep for commits with "cherry picked from commit" in the commit message. git log --reverse --grep="cherry picked from commit" $latest_branchpoint..HEAD |\ grep "cherry picked from commit" |\ - sed -e 's/^[[:space:]]*(cherry picked from commit[[:space:]]*//' -e 's/)//' |\ - cut -c -8 |\ + sed -e 's/^[[:space:]]*(cherry picked from commit[[:space:]]*//' -e 's/)//' > already_picked + +# For each cherry-picked commit... +cat already_picked | cut -c -8 |\ while read sha do - # Check if the original commit is referenced in master + # ... check if it's referenced (fixed by another) patch git log -n1 --pretty=oneline --grep=$sha $latest_branchpoint..origin/master |\ cut -c -8 |\ while read candidate do - # Check if the potential fix, hasn't landed in branch yet. - found=`git log -n1 --pretty=oneline --reverse --grep=$candidate $latest_branchpoint..HEAD |wc -l` - if test $found = 0 - then - echo Commit $candidate might need to be picked, as it references $sha + # And flag up if it hasn't landed in branch yet. + if grep -q ^$candidate already_picked ; then + continue fi + echo Commit $candidate references $sha done done + +rm -f already_picked |