summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAntonin Descampe <antonin@gmail.com>2006-01-25 09:34:32 +0000
committerAntonin Descampe <antonin@gmail.com>2006-01-25 09:34:32 +0000
commitebeb57d7d36478439857eb344ecf6e95594364ee (patch)
tree6a7514a39ab1bf27526d29f2fd919b50934aa25e
parente6aae962178605924ac611ade4dddfe069ef0a98 (diff)
check also for CtrlM in .txt and .cmake files
-rwxr-xr-xCVSROOT/checkCtrlM6
1 files changed, 4 insertions, 2 deletions
diff --git a/CVSROOT/checkCtrlM b/CVSROOT/checkCtrlM
index 3d7cbb4d..8aa532c6 100755
--- a/CVSROOT/checkCtrlM
+++ b/CVSROOT/checkCtrlM
@@ -16,8 +16,10 @@ shift 1
for file in "$@"; do
#
- # select files with extentions .txx, .cxx, .h, .html, .htm
- match=`echo $file | egrep \[\.\]txx\$\|\[\.\]cxx\$\|\[\.\]h\$\|\[\.\]html\$\|\[\.\]htm\$\|\[\.\]c\$`
+ # select files with extentions .txx, .cxx, .h, .html, .htm, .c, .txt, .cmake
+ match=`echo $file | egrep
+
+\[\.\]txx\$\|\[\.\]cxx\$\|\[\.\]h\$\|\[\.\]html\$\|\[\.\]htm\$\|\[\.\]c\$\|\[\.\]txt\$\|\[\.\]cmake\$`
if [ "x$match" != "x" ] ; then
count=`grep -n
\$ /dev/null $file|wc -c`