Merge pull request #373 from jagerman/style-check-fix

Fix check-style exit status and improve failure messages

tools/check-style.sh

@@ -9,7 +9,9 @@
 errors=0
 IFS=$'\n'
 found=
-grep $'\t' include/ tests/ docs/*.rst -rl | while read f; do
+# The mt=41 sets a red background for matched tabs:
+exec 3< <(GREP_COLORS='mt=41' grep $'\t' include/ tests/ docs/*.rst -rn --color=always)
+while read -u 3 f; do
     if [ -z "$found" ]; then
         echo -e '\e[31m\e[01mError: found tabs instead of spaces in the following files:\e[0m'
         found=1
@@ -20,7 +22,8 @@ grep $'\t' include/ tests/ docs/*.rst -rl | while read f; do
 done
 
 found=
-grep '\<\(if\|for\|while\)(' include/ tests/* -r --color=always | while read line; do
+exec 3< <(grep '\<\(if\|for\|while\)(' include/ tests/*.{cpp,py,h} -rn --color=always)
+while read -u 3 line; do
     if [ -z "$found" ]; then
         echo -e '\e[31m\e[01mError: found the following coding style problems:\e[0m'
         found=1