diff options
| author | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 20:13:27 +0000 |
|---|---|---|
| committer | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 20:13:27 +0000 |
| commit | 48573afd234edf06f50a9e42f4d3e3ea0383d69a (patch) | |
| tree | 379203cd5c50999a3380e3c38e30267145a598a0 /opcodes/.Sanitize | |
| parent | a61bc32c3d3a1614746e9f8be761cb93ebd88aaa (diff) | |
| download | gdb-48573afd234edf06f50a9e42f4d3e3ea0383d69a.zip gdb-48573afd234edf06f50a9e42f4d3e3ea0383d69a.tar.gz gdb-48573afd234edf06f50a9e42f4d3e3ea0383d69a.tar.bz2 | |
Remove SH3e sanitization.
Diffstat (limited to 'opcodes/.Sanitize')
| -rw-r--r-- | opcodes/.Sanitize | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index a80329a..32a9ead 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -105,27 +105,6 @@ else done fi -sh3e_files="ChangeLog sh-dis.c sh-opc.h" -if ( echo $* | grep keep\-sh3e > /dev/null ) ; then - if [ -n "${verbose}" ] ; then - echo Keeping sh3e stuff in $sh3e_files. - fi -else - if [ -n "${verbose}" ]; then - echo -n Cleaning sh3e in `pwd`: - fi - for f in $sh3e_files ; do - if [ -n "${verbose}" ] ; then - echo -n " " $f - fi - sed -e '/start\-sanitize\-sh3e/,/end\-sanitize\-sh3e/d' -e '/ xl /d' < $f > new - if [ -n "${safe}" ] ; then - mv $f .Recover - fi - mv new $f - done -fi - rce_files="configure.in configure" if ( echo $* | grep keep\-rce > /dev/null ) ; then for i in $rce_files ; do |