From e11b54be2460ab9028463c081c869dd80eda30e5 Mon Sep 17 00:00:00 2001
From: Per Bothner <per@bothner.com>
Date: Fri, 15 Nov 1991 21:11:08 +0000
Subject: [PATCH] Don't grep directories, since that breaks on NFS-mounted file
 systems.

---
 .Sanitize | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.Sanitize b/.Sanitize
index 164b8494e66..893435a929a 100644
--- 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
-- 
2.30.2