diff options
author | Ricardo Constantino <wiiaboo@gmail.com> | 2016-09-04 14:59:54 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2016-09-04 18:05:36 +0200 |
commit | d889d1fbaa28abec6b71d2ee0d9b9f8e62c09c04 (patch) | |
tree | eaae4a5b865b83c9f1a2f184a9ae67ca07604884 | |
parent | e955ae9000a78eeb3f391938c9273ffca01f02bb (diff) | |
download | mpv-d889d1fbaa28abec6b71d2ee0d9b9f8e62c09c04.tar.bz2 mpv-d889d1fbaa28abec6b71d2ee0d9b9f8e62c09c04.tar.xz |
travis: trigger website rebuild only on docs changes
-rwxr-xr-x | TOOLS/travis-rebuild-website | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/TOOLS/travis-rebuild-website b/TOOLS/travis-rebuild-website index 8d04fb506c..02bf2c2564 100755 --- a/TOOLS/travis-rebuild-website +++ b/TOOLS/travis-rebuild-website @@ -10,6 +10,11 @@ if [ "x$TRAVIS_BRANCH" != "xmaster" ]; then exit; fi +TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE:-HEAD^..} +if git diff --quiet --name-only --exit-code "$TRAVIS_COMMIT_RANGE" DOCS/; then + exit; +fi + body='{ "request": { "branch":"master" |