diff options
author | David Edelsohn <dje.gcc@gmail.com> | 1994-03-20 20:44:34 +0000 |
---|---|---|
committer | David Edelsohn <dje.gcc@gmail.com> | 1994-03-20 20:44:34 +0000 |
commit | a8183040a06508b167ded18679dbe402c8538078 (patch) | |
tree | a06fea14ba25dd1143c32844c35db97a5682a3d1 /include/nlm | |
parent | c20c75060da1873fcf60360dc1c3d7d1de42d514 (diff) | |
download | gdb-a8183040a06508b167ded18679dbe402c8538078.zip gdb-a8183040a06508b167ded18679dbe402c8538078.tar.gz gdb-a8183040a06508b167ded18679dbe402c8538078.tar.bz2 |
Remove v9 sanitization.
Diffstat (limited to 'include/nlm')
-rw-r--r-- | include/nlm/.Sanitize | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/include/nlm/.Sanitize b/include/nlm/.Sanitize index 6f1d0df..7a8b29c 100644 --- a/include/nlm/.Sanitize +++ b/include/nlm/.Sanitize @@ -45,33 +45,5 @@ Things-to-lose: Do-last: -v9dirty="common.h" - -if ( echo $* | egrep verbose > /dev/null ) ; then - verbose=true -else - verbose= -fi - -if ( echo $* | grep keep\-v9 > /dev/null ) ; then - if [ -n "${verbose}" ] ; then - echo Keeping v9 in ${v9dirty} - fi -else - for i in ${v9dirty} ; do - if [ -n "${verbose}" ] ; then - echo Sanitizing v9 in $i - fi - rm -f new - grep -v v9 $i > new - if [ -n "${safe}" ] ; then - mv $i .Recover - else - rm $i - fi - mv new $i - done -fi - # End of file. |