diff options
author | Artur Signell <artur@vaadin.com> | 2014-02-25 12:25:04 +0200 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2014-02-25 12:25:04 +0200 |
commit | bb2a440037d39deda4dbbdbd86478df4898fafaf (patch) | |
tree | b993cbfc8daee075ad1f8c0326538133493b95e6 /scripts | |
parent | 7782e5d52597f372cdf99cd181956045024aeb21 (diff) | |
download | vaadin-framework-bb2a440037d39deda4dbbdbd86478df4898fafaf.tar.gz vaadin-framework-bb2a440037d39deda4dbbdbd86478df4898fafaf.zip |
Use different exit codes for different errors
Change-Id: I7e5bba7f290ec9e6c482231bde3c12d13a3a80ea
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/automerge7.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/scripts/automerge7.sh b/scripts/automerge7.sh index 10e6ee0ffb..f929b9c69c 100755 --- a/scripts/automerge7.sh +++ b/scripts/automerge7.sh @@ -22,7 +22,7 @@ merge() { if [ "$mCommit" == "" ] then echo "merge() missing commit id" - exit 1 + exit 2 fi # echo "merge($mCommit)" @@ -32,7 +32,7 @@ merge() { then echo "Merge failed for commit $mCommit" echo "Manual merge is needed" - exit 2 + exit 3 fi # Add a change id using git hook git commit --amend --no-edit @@ -45,7 +45,7 @@ pushMerged() { if [ "$?" != "0" ] then echo "Push failed!" - exit 2 + exit 4 fi } @@ -61,7 +61,7 @@ maybe_commit_and_push() { if [ "$cpCommitMsg" == "" ] then echo "Internal error, no commit message passed to maybe_commit_and_push()" - exit 1; + exit 5 fi # echo "maybe_commit_and_push: Merging $cpCommit" merge $cpCommit @@ -82,7 +82,7 @@ if [ "$nothingToCommit" == "" ] then git status echo "Can not merge when there are unstaged changes." - exit 1; + exit 6 fi git checkout $TO @@ -112,7 +112,7 @@ do echo "Stopping merge at $commit because of merge conflicts" echo "The following commit must be manually merged." show $commit - exit 3 + exit 7 fi elif [ "$mergeDirective" == "no" ] then @@ -136,7 +136,7 @@ do echo "Stopping merge at $commit (merge: manual)" echo "The following commit must be manually merged." show $commit - exit 3 + exit 8 else maybe_commit_and_push $pendingCommit "$pendingCommitMessage" pendingCommit= @@ -145,7 +145,7 @@ do echo "Commit $commit contains an unknown merge directive, Merge: $mergeDirective" echo "Stopping merge." show $commit - exit 3 + exit 9 fi done |