Move overlay in cherrypull

This commit is contained in:
pancake 2017-03-20 02:09:43 +01:00
parent 699ec784ac
commit 295cd01b80

View file

@ -33,3 +33,8 @@ for a in $RC ; do
git cherry-pick $a
done
git branch -D branch
if [ -d t/overlay ]; then
make -C t apply
git commit -a
fi