| Index: tools/merge-to-branch.sh
|
| diff --git a/tools/merge-to-branch.sh b/tools/merge-to-branch.sh
|
| old mode 100644
|
| new mode 100755
|
| index d26fbcc4069c2bb99bb4da8b28a3653e5a55e6a1..aa590a313ca096311e1d1b81c3b51087895e28ea
|
| --- a/tools/merge-to-branch.sh
|
| +++ b/tools/merge-to-branch.sh
|
| @@ -205,9 +205,8 @@ if [ $START_STEP -le $CURRENT_STEP ] ; then
|
| your EDITOR on $VERSION_FILE so you can make arbitrary changes. When \
|
| you're done, save the file and exit your EDITOR.)"
|
| if [ $? -eq 0 ] ; then
|
| - echo $NEWPATCH $VERSION_FILE
|
| sed -e "/#define PATCH_LEVEL/s/[0-9]*$/$NEWPATCH/" \
|
| - -i.bak "$VERSION_FILE" || die "Could not increment patch level"
|
| + -i "$VERSION_FILE"
|
| else
|
| $EDITOR "$VERSION_FILE"
|
| fi
|
|
|