Don't grep directories, since that breaks on NFS-mounted file systems.

diff --git a/.Sanitize b/.Sanitize
index 164b8494e6622a385b157df4000a4a69b13cac6e..893435a929a12a2d704bbe1ca4307a2a0849c824 100644 (file)
--- a/.Sanitize
+++ b/.Sanitize
@@ -108,7 +108,8 @@ else
        done
 fi
 
-if grep 'sanitize' * ; then
-       echo Some mentions of Sanitize are still left in the sources!
-fi
-
+for i in * ; do
+       if test ! -d $i && (grep sanitize $i > /dev/null) ; then
+               echo Some mentions of Sanitize are still left in $i!
+       fi
+done