diff options
author | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2016-09-04 13:29:11 +0200 |
---|---|---|
committer | Stefano Pigozzi <stefano.pigozzi@gmail.com> | 2016-09-04 13:29:11 +0200 |
commit | e955ae9000a78eeb3f391938c9273ffca01f02bb (patch) | |
tree | 800903cbf763a7e797721f7c41a96a251c259032 /TOOLS/travis-rebuild-website | |
parent | 4236321835909e80a4b43b4d8dfee4dcd3f9a890 (diff) |
travis: rebuild website for updated docs on push
Diffstat (limited to 'TOOLS/travis-rebuild-website')
-rwxr-xr-x | TOOLS/travis-rebuild-website | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/TOOLS/travis-rebuild-website b/TOOLS/travis-rebuild-website new file mode 100755 index 0000000000..8d04fb506c --- /dev/null +++ b/TOOLS/travis-rebuild-website @@ -0,0 +1,24 @@ +#!/bin/sh + +if [ "x$LIBAV" != "xffmpeg-git" ] || [ "x$TRAVIS_OS_NAME" != "xlinux" ]; then + # trigger build only on one of the matrix nodes + exit; +fi + +if [ "x$TRAVIS_BRANCH" != "xmaster" ]; then + # only rebuild website with pushes to master + exit; +fi + +body='{ +"request": { + "branch":"master" +}}' + +curl -s -X POST \ +-H "Content-Type: application/json" \ +-H "Accept: application/json" \ +-H "Travis-API-Version: 3" \ +-H "Authorization: token $WEBSITE_TRAVIS_TOKEN" \ +-d "$body" \ +https://api.travis-ci.org/repo/mpv-player%2Fmpv.io/requests |