diff options
author | John Gilmore <gnu@cygnus> | 1991-10-21 22:10:13 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1991-10-21 22:10:13 +0000 |
commit | 320e1b8638256fc0fcd6352543bc1f4d191886c9 (patch) | |
tree | def52091475fc7379f4b0769c15924a3552ca15f /.Sanitize | |
parent | 6d984a0c18e651488c1c0aa21639bd0cf07732f1 (diff) | |
download | gdb-320e1b8638256fc0fcd6352543bc1f4d191886c9.zip gdb-320e1b8638256fc0fcd6352543bc1f4d191886c9.tar.gz gdb-320e1b8638256fc0fcd6352543bc1f4d191886c9.tar.bz2 |
Handle "life" sanity, which Tiemann half-implemented in config.sub.
Diffstat (limited to '.Sanitize')
-rw-r--r-- | .Sanitize | 29 |
1 files changed, 28 insertions, 1 deletions
@@ -81,12 +81,39 @@ 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 stuff in $i + fi + done +else + for i in * ; do + if test ! -d $i && (grep sanitize-life $i > /dev/null) ; then + echo Cleaning 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 + echo Done in `pwd`. # # # $Log$ -# Revision 1.18 1991/10/10 01:08:04 rich +# Revision 1.19 1991/10/21 22:10:13 gnu +# Handle "life" sanity, which Tiemann half-implemented in config.sub. +# +# Revision 1.18 1991/10/10 01:08:04 rich # copy the old file to the new before cleaning it. This should # propogate mode bits like execute. # |