diff options
Diffstat (limited to 'commit-repo-tag.sh')
| -rwxr-xr-x | commit-repo-tag.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/commit-repo-tag.sh b/commit-repo-tag.sh index 2ea337a..6fe0677 100755 --- a/commit-repo-tag.sh +++ b/commit-repo-tag.sh @@ -15,7 +15,10 @@ # Important: repo sync should have been done before # Build branch where new manifest will be stored -BUILD_BRANCH=jenkins-build-branch +if [-z $BUILD_BRANCH ]; +then + BUILD_BRANCH=jenkins-build-branch +fi # The default manifest file name MANIFEST_FILENAME=default.xml |