From ef6aaf6045d8e4b7e3ce2b946dfca1b13383d8a0 Mon Sep 17 00:00:00 2001
From: Joakim Gebart <joakim.gebart@eistec.se>
Date: Tue, 17 Mar 2015 06:51:17 +0100
Subject: [PATCH] dist/tools/whitespacecheck: Do not redirect stdout.
Show new whitespace errors in Travis log for easier code review.
---
dist/tools/whitespacecheck/check.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dist/tools/whitespacecheck/check.sh b/dist/tools/whitespacecheck/check.sh
index 4b31f9e97f..2a0a08df12 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"
--
GitLab