diff options
Diffstat (limited to 'include')
| -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. |