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 |