diff options
author | Jim Wilson <wilson@tuliptree.org> | 1992-10-29 22:41:01 +0000 |
---|---|---|
committer | Jim Wilson <wilson@tuliptree.org> | 1992-10-29 22:41:01 +0000 |
commit | 012be2b138040d863aea8722f9530df64cf3caa7 (patch) | |
tree | 3b56f25b9f66201bcc32b771975a65f7c95a5531 /.Sanitize | |
parent | 4e98653cf68f3c7e8124b145b2d9506876a7a742 (diff) | |
download | gdb-012be2b138040d863aea8722f9530df64cf3caa7.zip gdb-012be2b138040d863aea8722f9530df64cf3caa7.tar.gz gdb-012be2b138040d863aea8722f9530df64cf3caa7.tar.bz2 |
Delete some obsolete LIFE stuff.
Diffstat (limited to '.Sanitize')
-rw-r--r-- | .Sanitize | 24 |
1 files changed, 0 insertions, 24 deletions
@@ -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! |