diff options
| author | Martin Liška <marxin.liska@gmail.com> | 2024-08-03 18:42:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-03 13:42:26 -0300 |
| commit | 557ec475d93ba2d76c758cc3aa18873141f5548d (patch) | |
| tree | 02fc525a2b2cae97ed74fee6bffef3ab7e7a0520 /src/doc/rustc-dev-guide | |
| parent | 551ad75c8024eb1b0978f713b4ade23cc1d94de2 (diff) | |
| download | rust-557ec475d93ba2d76c758cc3aa18873141f5548d.tar.gz rust-557ec475d93ba2d76c758cc3aa18873141f5548d.zip | |
linkcheck: fix filtering of the source files (#2019)
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -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" |