From 608b430b56983c7dfacc59d75ed147e91f68a4ef Mon Sep 17 00:00:00 2001 From: sfan5 Date: Mon, 17 Jul 2023 18:37:04 +0200 Subject: TOOLS: remove obsolete travisCI-related scripts --- TOOLS/travis-rebuild-website | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100755 TOOLS/travis-rebuild-website (limited to 'TOOLS/travis-rebuild-website') diff --git a/TOOLS/travis-rebuild-website b/TOOLS/travis-rebuild-website deleted file mode 100755 index 802dded876..0000000000 --- a/TOOLS/travis-rebuild-website +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh - -if [ "$TRAVIS_OS_NAME" != "linux" ] || [ "$CC" != "clang" ]; 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 - -TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE:-HEAD^..} -if git diff --quiet --name-only --exit-code "$TRAVIS_COMMIT_RANGE" DOCS/ VERSION; then - 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 -- cgit v1.2.3