From 04b42ec7e874a89aa668212d51d45e0ed15c0758 Mon Sep 17 00:00:00 2001 From: Ken Raeburn Date: Fri, 17 Jun 1994 00:51:16 +0000 Subject: unsanitize v9 --- .Sanitize | 30 ------------------------------ 1 file changed, 30 deletions(-) (limited to '.Sanitize') diff --git a/.Sanitize b/.Sanitize index ef647f8..a955c5d 100644 --- a/.Sanitize +++ b/.Sanitize @@ -135,36 +135,6 @@ fi mv new Makefile.in if [ -n "${verbose}" ] ; then - echo Looking for signs of \"v9\"... -fi - -# Don't try to clean directories here, as the 'mv' command will fail. -# Also, grep fails on NFS mounted directories. -if ( echo $* | grep keep\-v9 > /dev/null ) ; then - for i in * ; do - if test ! -d $i && (grep sanitize-v9 $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Keeping v9 stuff in $i - fi - fi - done -else - for i in * ; do - if test ! -d $i && (grep sanitize-v9 $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Cleaning the \"v9\" out of $i... - fi - cp $i new - sed '/start\-sanitize\-v9/,/end-\sanitize\-v9/d' < $i > new - if [ -n "${safe}" -a ! -f .Recover/$i ] ; then - mv $i .Recover - fi - mv new $i - fi - done -fi - -if [ -n "${verbose}" ] ; then echo Thawing away the \"chill\"... fi -- cgit v1.1