summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
diff options
context:
space:
mode:
Diffstat (limited to 'TOOLS/travis-rebuild-website')
-rwxr-xr-xTOOLS/travis-rebuild-website5
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"