find-double-newline: look in headers too

diff --git a/tools/find-double-newline.sh b/tools/find-double-newline.sh
index c41811483cbb91fae5510ef22270fdd230980fe3..6e7e4cb6996259e4c65a031cbed14e5e5e0e56e3 100755 (executable)
--- a/tools/find-double-newline.sh
+++ b/tools/find-double-newline.sh
@@ -10,7 +10,7 @@ case "$1" in
                         DIR="$2"
                 fi
 
-                find $DIR -type f \( -name '*.c' -o -name '*.xml' \) -exec $0 diff \{\} \;
+                find $DIR -type f \( -name '*.[ch]' -o -name '*.xml' \) -exec $0 diff \{\} \;
                 ;;
 
         recpatch)
@@ -20,7 +20,7 @@ case "$1" in
                         DIR="$2"
                 fi
 
-                find $DIR -type f \( -name '*.c' -o -name '*.xml' \) -exec $0 patch \{\} \;
+                find $DIR -type f \( -name '*.[ch]' -o -name '*.xml' \) -exec $0 patch \{\} \;
                 ;;
 
         diff)