aboutsummaryrefslogtreecommitdiff
path: root/include/nlm
diff options
context:
space:
mode:
authorDavid Edelsohn <dje.gcc@gmail.com>1994-03-20 20:44:34 +0000
committerDavid Edelsohn <dje.gcc@gmail.com>1994-03-20 20:44:34 +0000
commita8183040a06508b167ded18679dbe402c8538078 (patch)
treea06fea14ba25dd1143c32844c35db97a5682a3d1 /include/nlm
parentc20c75060da1873fcf60360dc1c3d7d1de42d514 (diff)
downloadgdb-a8183040a06508b167ded18679dbe402c8538078.zip
gdb-a8183040a06508b167ded18679dbe402c8538078.tar.gz
gdb-a8183040a06508b167ded18679dbe402c8538078.tar.bz2
Remove v9 sanitization.
Diffstat (limited to 'include/nlm')
-rw-r--r--include/nlm/.Sanitize28
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.