From 557ec475d93ba2d76c758cc3aa18873141f5548d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Li=C5=A1ka?= Date: Sat, 3 Aug 2024 18:42:26 +0200 Subject: [PATCH] linkcheck: fix filtering of the source files (#2019) --- src/doc/rustc-dev-guide/ci/linkcheck.sh | 4 ++-- 1 file 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 133e22239705..14cd53ac9c51 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"