diff options
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/linkcheck.sh | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/ci/linkcheck.sh b/src/doc/rustc-dev-guide/ci/linkcheck.sh index b3d8a444402..9b06f67fc9f 100755 --- a/src/doc/rustc-dev-guide/ci/linkcheck.sh +++ b/src/doc/rustc-dev-guide/ci/linkcheck.sh @@ -3,10 +3,17 @@ set -e set -o pipefail +LINKCHECK_BINARY=mdbook-linkcheck2 + set_github_token() { jq '.config.output.linkcheck."http-headers"."github\\.com" = ["Authorization: Bearer $GITHUB_TOKEN"]' } +if [ ! -z "$SKIP_LINKCHECK" ] ; then + echo "Skipping link check." + exit 0 +fi + # https://docs.github.com/en/actions/reference/environment-variables if [ "$GITHUB_EVENT_NAME" = "schedule" ] ; then # running in scheduled job FLAGS="" @@ -32,10 +39,10 @@ else # running locally echo "Checking files changed in $COMMIT_RANGE: $CHANGED_FILES" fi -echo "exec mdbook-linkcheck2 $FLAGS" +echo "exec $LINKCHECK_BINARY $FLAGS" if [ "$USE_TOKEN" = 1 ]; then config=$(set_github_token) - exec mdbook-linkcheck2 $FLAGS <<<"$config" + exec $LINKCHECK_BINARY $FLAGS <<<"$config" else - exec mdbook-linkcheck2 $FLAGS + exec $LINKCHECK_BINARY $FLAGS fi |