aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDoug Evans <dje@google.com>1999-01-20 21:01:15 +0000
committerDoug Evans <dje@google.com>1999-01-20 21:01:15 +0000
commitcaf8b76ba26837676347a906132fcc3217894468 (patch)
tree2ba86c8e62da62de9437be216f2371e448933bca
parent8142df8181d220e06ce947e2753a60b65818510b (diff)
downloadgdb-caf8b76ba26837676347a906132fcc3217894468.zip
gdb-caf8b76ba26837676347a906132fcc3217894468.tar.gz
gdb-caf8b76ba26837676347a906132fcc3217894468.tar.bz2
remove fr30 sanitization
-rw-r--r--include/.Sanitize28
1 files changed, 0 insertions, 28 deletions
diff --git a/include/.Sanitize b/include/.Sanitize
index 6351d4b..084b0b0 100644
--- a/include/.Sanitize
+++ b/include/.Sanitize
@@ -96,34 +96,6 @@ else
done
fi
-fr30_files="ChangeLog dis-asm.h"
-if ( echo $* | grep keep\-fr30 > /dev/null ) ; then
- for i in $fr30_files ; do
- if test ! -d $i && (grep sanitize-fr30 $i > /dev/null) ; then
- if [ -n "${verbose}" ] ; then
- echo Keeping fr30 stuff in $i
- fi
- fi
- done
-else
- for i in $fr30_files ; do
- if test ! -d $i && (grep sanitize-fr30 $i > /dev/null) ; then
- if [ -n "${verbose}" ] ; then
- echo Removing traces of \"fr30\" from $i...
- fi
- cp $i new
- sed '/start\-sanitize\-fr30/,/end-\sanitize\-fr30/d' < $i > new
- if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
- if [ -n "${verbose}" ] ; then
- echo Caching $i in .Recover...
- fi
- mv $i .Recover
- fi
- mv new $i
- fi
- done
-fi
-
if [ -n "${verbose}" ] ; then
echo Processing \"sky\"...
fi