diff options
author | James O'Beirne <james.obeirne@pm.me> | 2023-01-18 09:48:14 -0500 |
---|---|---|
committer | James O'Beirne <james.obeirne@pm.me> | 2023-01-18 09:48:14 -0500 |
commit | b68e5a7feff3e93027e75da0cd9a590fef99aac1 (patch) | |
tree | 0b041a3ac7a8c7614286832a242ef5fecbe05581 /ci/lint/06_script.sh | |
parent | dff7ed5732c01b3ba47ef9e9ddb687d073d7739d (diff) | |
download | bitcoin-b68e5a7feff3e93027e75da0cd9a590fef99aac1.tar.xz |
lint: specify the right commit range when running locally
When running lints on Cirrus, a special envvar is set ($CIRRUS_PR);
emulate this when running linters locally by setting $LOCAL_BRANCH
to any value.
Diffstat (limited to 'ci/lint/06_script.sh')
-rwxr-xr-x | ci/lint/06_script.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index c14d7473d3..fa28f6126c 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -6,7 +6,11 @@ export LC_ALL=C -if [ -n "$CIRRUS_PR" ]; then +if [ -n "$LOCAL_BRANCH" ]; then + # To faithfully recreate CI linting locally, specify all commits on the current + # branch. + COMMIT_RANGE="$(git merge-base HEAD master)..HEAD" +elif [ -n "$CIRRUS_PR" ]; then COMMIT_RANGE="HEAD~..HEAD" echo git log --no-merges --oneline "$COMMIT_RANGE" |