diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/travis_end.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/travis_end.sh b/scripts/travis_end.sh index 60a5e3895..37a86f1e0 100644 --- a/scripts/travis_end.sh +++ b/scripts/travis_end.sh @@ -1,5 +1,10 @@ #!/bin/bash +# don't run this for pull requests +if [ "$TRAVIS_EVENT_TYPE" == "pull_request" ] ; then + exit 0; +fi + if [ ! -z $UPLOADTOOL_SUFFIX ] ; then if [ "$UPLOADTOOL_SUFFIX" = "$TRAVIS_TAG" ] ; then RELEASE_NAME=$TRAVIS_TAG |