aboutsummaryrefslogtreecommitdiff
path: root/.Sanitize
diff options
context:
space:
mode:
authorJim Wilson <wilson@tuliptree.org>1992-10-29 22:41:01 +0000
committerJim Wilson <wilson@tuliptree.org>1992-10-29 22:41:01 +0000
commit012be2b138040d863aea8722f9530df64cf3caa7 (patch)
tree3b56f25b9f66201bcc32b771975a65f7c95a5531 /.Sanitize
parent4e98653cf68f3c7e8124b145b2d9506876a7a742 (diff)
downloadgdb-012be2b138040d863aea8722f9530df64cf3caa7.zip
gdb-012be2b138040d863aea8722f9530df64cf3caa7.tar.gz
gdb-012be2b138040d863aea8722f9530df64cf3caa7.tar.bz2
Delete some obsolete LIFE stuff.
Diffstat (limited to '.Sanitize')
-rw-r--r--.Sanitize24
1 files changed, 0 insertions, 24 deletions
diff --git a/.Sanitize b/.Sanitize
index 7b7c036..df20f70 100644
--- a/.Sanitize
+++ b/.Sanitize
@@ -109,30 +109,6 @@ else
done
fi
-echo Looking for signs of \"life\"...
-
-# Don't try to clean directories here, as the 'mv' command will fail.
-# Also, grep fails on NFS mounted directories.
-if ( echo $* | grep keep\-life > /dev/null ) ; then
- for i in * ; do
- if test ! -d $i && (grep sanitize-life $i > /dev/null) ; then
- echo Keeping life alive in $i
- fi
- done
-else
- for i in * ; do
- if test ! -d $i && (grep sanitize-life $i > /dev/null) ; then
- echo Beating the \"life\" out of $i...
- cp $i new
- sed '/start\-sanitize\-life/,/end-\sanitize\-life/d' < $i > new
- if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
- mv $i .Recover
- fi
- mv new $i
- fi
- done
-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!