travis_linux_after_success.sh 670 B

123456789101112131415161718
  1. #!/bin/bash
  2. set -ev
  3. # We only want to push the docs once, so we just take the travis run where MINGW=true which is only enabled once
  4. if [ -z ${MINGW+x} ]; then
  5. echo "=== Executing after_success scripts ==="
  6. # List branches where the doc should be pushed to the webpage
  7. if [ "${TRAVIS_PULL_REQUEST}" = "false" ] && (
  8. [ "${TRAVIS_BRANCH}" = "master" ] || [ "${TRAVIS_BRANCH}" = "0.3" ]); then
  9. sh ./tools/travis/travis_push_doc.sh
  10. sh ./tools/travis/travis_push_coverity.sh
  11. fi
  12. sh ./tools/travis/travis_push_release.sh;
  13. else
  14. echo "=== Not in the main repository or not the main build; Skip release scripts ==="
  15. exit 0;
  16. fi