mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

linkcheck: fix filtering of the source files (#2019)

This commit is contained in:
Martin Liška 2024-08-03 18:42:26 +02:00 committed by GitHub
parent e6d8737cb1
commit f8fae75c0c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ci/linkcheck.sh
View File

@ -19,14 +19,14 @@ elif [ "$GITHUB_EVENT_NAME" = "pull_request" ] ; then # running in PR CI build
exit 1 exit 1
fi 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" FLAGS="--no-cache -f $CHANGED_FILES"
USE_TOKEN=1 USE_TOKEN=1
echo "Checking files changed since $BASE_SHA: $CHANGED_FILES" echo "Checking files changed since $BASE_SHA: $CHANGED_FILES"
else # running locally else # running locally
COMMIT_RANGE=master... 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" FLAGS="-f $CHANGED_FILES"
echo "Checking files changed in $COMMIT_RANGE: $CHANGED_FILES" echo "Checking files changed in $COMMIT_RANGE: $CHANGED_FILES"