diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-02-15 14:37:31 -0500 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2018-03-14 21:46:45 +0800 |
| commit | f3b8d85b4ba8945eb811851d83bbaef6a7583879 (patch) | |
| tree | 4fd08e7afd32a8a072fc04e4b750b162dc059de2 | |
| parent | 686cb86002075acfe4ec4228425d3db52b5e23f6 (diff) | |
| download | bitcoin-f3b8d85b4ba8945eb811851d83bbaef6a7583879.tar.xz | |
devtools: Exclude patches from lint-whitespace
GitHub-Pull: #12442
Rebased-From: fafbf7f
| -rwxr-xr-x | contrib/devtools/lint-whitespace.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/lint-whitespace.sh b/contrib/devtools/lint-whitespace.sh index 989923f31a..af9a57910a 100755 --- a/contrib/devtools/lint-whitespace.sh +++ b/contrib/devtools/lint-whitespace.sh @@ -16,7 +16,7 @@ if [ -z "${TRAVIS_COMMIT_RANGE}" ]; then fi showdiff() { - if ! git diff -U0 "${TRAVIS_COMMIT_RANGE}" -- "." ":(exclude)src/leveldb/" ":(exclude)src/secp256k1/" ":(exclude)src/univalue/" ":(exclude)doc/release-notes/"; then + if ! git diff -U0 "${TRAVIS_COMMIT_RANGE}" -- "." ":(exclude)depends/patches/" ":(exclude)src/leveldb/" ":(exclude)src/secp256k1/" ":(exclude)src/univalue/" ":(exclude)doc/release-notes/"; then echo "Failed to get a diff" exit 1 fi |