From: Emil Velikov Date: Sat, 11 Feb 2017 12:45:21 +0000 (+0000) Subject: bin/get-extra-pick-list: rework to use already_picked list X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=71e00d62ed2228a773a4f5abff98a16961e7f21c;p=mesa.git 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" Signed-off-by: Emil Velikov Reviewed-by: Eric Engestrom --- 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