diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-11-17 12:21:13 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-11-17 12:21:13 -0800 |
| commit | 9f1fde4794633b1b3dded88a92e1c50810b27786 (patch) | |
| tree | 7c7a060144b8a820d2a873c8ce44ed25054a715c /scripts | |
| parent | 35194c700233eadd1e5f8d3dcc6ff762c8376aed (diff) | |
| download | subsurface-9f1fde4794633b1b3dded88a92e1c50810b27786.tar.gz | |
Travis: don't edit Release info if this is a PR
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
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 |