diff --git a/dist/tools/whitespacecheck/check.sh b/dist/tools/whitespacecheck/check.sh index 4b31f9e97fd88b0b97c40b438a0a19ac9c06c27a..2a0a08df1295a544ccc7765f969a87a55a03d97b 100755 --- a/dist/tools/whitespacecheck/check.sh +++ b/dist/tools/whitespacecheck/check.sh @@ -27,7 +27,7 @@ if [ -z "${BRANCH}" ]; then BRANCH=$(git rev-list HEAD | tail -n 1) fi -git diff --check $(git merge-base ${BRANCH} HEAD) > /dev/null +git diff --check $(git merge-base ${BRANCH} HEAD) if [ $? -gt 0 ] then echo "ERROR: This change introduces new whitespace errors"