linkcheck: fix filtering of the source files (#2019)
This commit is contained in:
parent
551ad75c80
commit
557ec475d9
1 changed files with 2 additions and 2 deletions
|
|
@ -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"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue