diff options
| author | Catherine Moore <clm@redhat.com> | 1998-08-26 17:25:19 +0000 |
|---|---|---|
| committer | Catherine Moore <clm@redhat.com> | 1998-08-26 17:25:19 +0000 |
| commit | 603e9cf139a0020d7356bebad3b883eeb7dc279d (patch) | |
| tree | 09ff4ad7529aa98f817fac986dd23f43724a05b8 /gas/.Sanitize | |
| parent | e9ebd69fe6c9f9a4b4e0075a04bbbf33758f48b4 (diff) | |
| download | gdb-603e9cf139a0020d7356bebad3b883eeb7dc279d.zip gdb-603e9cf139a0020d7356bebad3b883eeb7dc279d.tar.gz gdb-603e9cf139a0020d7356bebad3b883eeb7dc279d.tar.bz2 | |
remove armelf sanitization
Diffstat (limited to 'gas/.Sanitize')
| -rw-r--r-- | gas/.Sanitize | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index 72710e0..32e4331 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -499,35 +499,6 @@ else done fi -armelf_files="ChangeLog configure configure.in write.c" - -if ( echo $* | grep keep\-armelf > /dev/null ) ; then - for i in $armelf_files ; do - if test ! -d $i && (grep sanitize-armelf $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Keeping armelf stuff in $i - fi - fi - done -else - for i in $armelf_files ; do - if test ! -d $i && (grep sanitize-armelf $i > /dev/null) ; then - if [ -n "${verbose}" ] ; then - echo Removing traces of \"armelf\" from $i... - fi - cp $i new - sed '/start\-sanitize\-armelf/,/end-\sanitize\-armelf/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 - for i in * ; do if test ! -d $i && (grep sanitize $i > /dev/null) ; then echo '***' Some mentions of Sanitize are still left in gas/$i! 1>&2 |