diff options
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/linkcheck.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/ci/linkcheck.sh b/src/doc/rustc-dev-guide/ci/linkcheck.sh index 133e2223970..14cd53ac9c5 100755 --- a/src/doc/rustc-dev-guide/ci/linkcheck.sh +++ b/src/doc/rustc-dev-guide/ci/linkcheck.sh @@ -19,14 +19,14 @@ elif [ "$GITHUB_EVENT_NAME" = "pull_request" ] ; then # running in PR CI build exit 1 fi - CHANGED_FILES=$(git diff --name-only $BASE_SHA... | tr '\n' ' ') + CHANGED_FILES=$(git diff --name-only $BASE_SHA... | sed 's#^src/##' | tr '\n' ' ') FLAGS="--no-cache -f $CHANGED_FILES" USE_TOKEN=1 echo "Checking files changed since $BASE_SHA: $CHANGED_FILES" else # running locally COMMIT_RANGE=master... - CHANGED_FILES=$(git diff --name-only $COMMIT_RANGE | tr '\n' ' ') + CHANGED_FILES=$(git diff --name-only $COMMIT_RANGE | sed 's#^src/##' | tr '\n' ' ') FLAGS="-f $CHANGED_FILES" echo "Checking files changed in $COMMIT_RANGE: $CHANGED_FILES" |