diff options
| author | Lukas Larsson <[email protected]> | 2018-06-21 11:02:14 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-07-07 09:28:51 +0200 |
| commit | d1a3136e72d38ce6cbe3f0292b7aa34e02b85cdc (patch) | |
| tree | 01e069fe76aa45092c6cf1b322889f4a4c21eeb8 /scripts/build-otp | |
| parent | 0a6963fcc4a077a7b51669178271dc4ae4d7d3cb (diff) | |
| download | otp-d1a3136e72d38ce6cbe3f0292b7aa34e02b85cdc.tar.gz otp-d1a3136e72d38ce6cbe3f0292b7aa34e02b85cdc.tar.bz2 otp-d1a3136e72d38ce6cbe3f0292b7aa34e02b85cdc.zip | |
travis: Only deploy in erlang/otp
Diffstat (limited to 'scripts/build-otp')
| -rwxr-xr-x | scripts/build-otp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-otp b/scripts/build-otp index c38d2c98de..abf8d5d67f 100755 --- a/scripts/build-otp +++ b/scripts/build-otp @@ -57,7 +57,7 @@ if [ "$1" = "docs" ]; then do_and_log "Linting documentation" make xmllint # The code below prepares this build to be used as a deploy to # github pages for documentation. - if [ "$TRAVIS_PULL_REQUEST" = "false" -a "$TRAVIS_TAG" = "" ]; then + if [ "$TRAVIS_PULL_REQUEST" = "false" -a "$TRAVIS_TAG" = "" -a "$TRAVIS_REPO_SLUG" = "erlang/otp" ]; then set -x rm -rf logs SHA=`git rev-parse --verify HEAD` |