aboutsummaryrefslogtreecommitdiffhomepage
path: root/TOOLS
diff options
context:
space:
mode:
authorGravatar Stefano Pigozzi <stefano.pigozzi@gmail.com>2016-09-04 13:29:11 +0200
committerGravatar Stefano Pigozzi <stefano.pigozzi@gmail.com>2016-09-04 13:29:11 +0200
commite955ae9000a78eeb3f391938c9273ffca01f02bb (patch)
tree800903cbf763a7e797721f7c41a96a251c259032 /TOOLS
parent4236321835909e80a4b43b4d8dfee4dcd3f9a890 (diff)
travis: rebuild website for updated docs on push
Diffstat (limited to 'TOOLS')
-rwxr-xr-xTOOLS/travis-rebuild-website24
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