diff options
| author | Lukas Larsson <[email protected]> | 2018-06-21 11:02:14 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-07-16 17:43:51 +0200 |
| commit | 2e51ef8d76ba0d0b700a673262292f7e63ba9c58 (patch) | |
| tree | cb3d6a014233d5b9d690f607bf372009bc1bf581 /scripts/build-otp | |
| parent | 7b7b25369511f6dd6536e6d706814b2c66b1eb9e (diff) | |
| download | otp-2e51ef8d76ba0d0b700a673262292f7e63ba9c58.tar.gz otp-2e51ef8d76ba0d0b700a673262292f7e63ba9c58.tar.bz2 otp-2e51ef8d76ba0d0b700a673262292f7e63ba9c58.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` |