diff options
author | Aric Gardner <agardner@linuxfoundation.org> | 2015-05-27 16:27:03 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2015-05-27 16:27:03 +0000 |
commit | 52c5ff979f7c653543cc70b062d27f0840bf44ba (patch) | |
tree | 1597d621ba43b22d4e4b0706ef61d2ff6f0fcf50 /jjb | |
parent | 6c1540365c468c466b2ca3f55a2e2e0f86ddbdee (diff) | |
parent | 562f180eecfee9ea6f0f67c10137a759c2de8377 (diff) |
Merge "$GERRIT_EVENT_TYPE != "change-merged" should cover comments added etc."
Diffstat (limited to 'jjb')
-rw-r--r-- | jjb/opnfvdocs/docu-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/opnfvdocs/docu-build.sh b/jjb/opnfvdocs/docu-build.sh index ba69087e9..848466e03 100644 --- a/jjb/opnfvdocs/docu-build.sh +++ b/jjb/opnfvdocs/docu-build.sh @@ -8,7 +8,7 @@ export PATH=$PATH:/usr/local/bin/ git_sha1="$(git rev-parse HEAD)" docu_build_date="$(date)" -if [[ $GERRIT_EVENT_TYPE = "patchset-created" ]] ; then +if [[ $GERRIT_EVENT_TYPE != "change-merged" ]] ; then patchset="/$GERRIT_CHANGE_NUMBER" fi |