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

1991-11-15 21:11:08 +00:00 · 1991-11-15 21:11:08 +00:00 · e11b54be24
commit e11b54be24
parent eb68a3e41c
1 changed files with 5 additions and 4 deletions
--- 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