aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPer Bothner <per@bothner.com>1991-11-15 21:11:08 +0000
committerPer Bothner <per@bothner.com>1991-11-15 21:11:08 +0000
commite11b54be2460ab9028463c081c869dd80eda30e5 (patch)
tree644a2a976673e07e9c272e10fd84ccf70a0444e0
parenteb68a3e41ccd097becbd8bab986387665899c750 (diff)
downloadgdb-e11b54be2460ab9028463c081c869dd80eda30e5.zip
gdb-e11b54be2460ab9028463c081c869dd80eda30e5.tar.gz
gdb-e11b54be2460ab9028463c081c869dd80eda30e5.tar.bz2
Don't grep directories, since that breaks on NFS-mounted file systems.
-rw-r--r--.Sanitize9
1 files changed, 5 insertions, 4 deletions
diff --git a/.Sanitize b/.Sanitize
index 164b849..893435a 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