| Index: tools/merge-to-branch.sh
|
| diff --git a/tools/merge-to-branch.sh b/tools/merge-to-branch.sh
|
| index 0314cb4cb845ba5df4980c8d48f5365e2a1ebb29..7b9d3b4b0841de92f1c5618c92cb92d1358b8034 100755
|
| --- a/tools/merge-to-branch.sh
|
| +++ b/tools/merge-to-branch.sh
|
| @@ -118,7 +118,7 @@ if [ $START_STEP -le $CURRENT_STEP ] ; then
|
| fi
|
| fi
|
| echo ">>> Step $CURRENT_STEP: Preparation"
|
| - if [ $REVERT_FROM_BLEEDING_EDGE==1 ] ; then
|
| + if [ $REVERT_FROM_BLEEDING_EDGE -eq 1 ] ; then
|
| MERGE_TO_BRANCH="bleeding_edge"
|
| else
|
| MERGE_TO_BRANCH=$1
|
|
|