check-style: also report no space in if(/for(/while(

tools/check-style.sh

@@ -6,14 +6,28 @@
 # Invoke as: tools/check-style.sh
 # Invoke as: tools/check-style.sh
 #
 #
 
 
-found=0
-for f in `grep $'\t' include/ tests/ docs/*.rst -rl`; do
-    if [ "$found" -eq 0 ]; then
+errors=0
+IFS=$'\n'
+found=
+grep $'\t' include/ tests/ docs/*.rst -rl | while read f; do
+    if [ -z "$found" ]; then
         echo -e '\e[31m\e[01mError: found tabs instead of spaces in the following files:\e[0m'
         echo -e '\e[31m\e[01mError: found tabs instead of spaces in the following files:\e[0m'
         found=1
         found=1
+        errors=1
     fi
     fi
 
 
     echo "    $f"
     echo "    $f"
 done
 done
 
 
-exit $found
+found=
+grep '\<\(if\|for\|while\)(' include/ tests/* -r --color=always | while read line; do
+    if [ -z "$found" ]; then
+        echo -e '\e[31m\e[01mError: found the following coding style problems:\e[0m'
+        found=1
+        errors=1
+    fi
+
+    echo "    $line"
+done
+
+exit $errors