Browse Source

dist/tools/whitespacecheck: Do not redirect stdout.

Show new whitespace errors in Travis log for easier code review.
dev/timer
Joakim Gebart 8 years ago
parent
commit
ef6aaf6045
  1. 2
      dist/tools/whitespacecheck/check.sh

2
dist/tools/whitespacecheck/check.sh vendored

@ -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"

Loading…
Cancel
Save