summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/get-extra-pick-list.sh19
1 files changed, 11 insertions, 8 deletions
diff --git a/bin/get-extra-pick-list.sh b/bin/get-extra-pick-list.sh
index f292d3ec8b..4d3938931f 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