| Index: tools/merge-to-branch.sh
|
| diff --git a/tools/merge-to-branch.sh b/tools/merge-to-branch.sh
|
| index 484558cfad9024f2c5e4be6dc5beb0adc9dfc62d..d75cafd906861154124d31606b020129232e9680 100755
|
| --- a/tools/merge-to-branch.sh
|
| +++ b/tools/merge-to-branch.sh
|
| @@ -88,7 +88,7 @@ shift $OPTION_COUNT
|
| ########## Regular workflow
|
|
|
| # If there is a merge in progress, abort.
|
| -[[ -e "$ALREADY_MERGING_SENTINEL_FILE" ]] && [[ -z "$START_STEP" ]] \
|
| +[[ -e "$ALREADY_MERGING_SENTINEL_FILE" ]] && [[ $START_STEP -eq 0 ]] \
|
| && die "A merge is already in progress"
|
| touch "$ALREADY_MERGING_SENTINEL_FILE"
|
|
|
|
|