devtools: Exclude patches from lint-whitespace

This commit is contained in:
MarcoFalke committed 2018-02-15 14:39:04 -05:00
1 parent fd65937ec6
commit fafbf7f74e
1 file changed
+1 -1
+1 -1
View File
@@ -16,7 +16,7 @@ if [ -z "${TRAVIS_COMMIT_RANGE}" ]; then
fi fi
showdiff() { 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" echo "Failed to get a diff"
exit 1 exit 1
fi fi