diff options
| author | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 20:18:32 +0000 |
|---|---|---|
| committer | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 20:18:32 +0000 |
| commit | a7aa92e2cdf2ad0c0e722bc9b39200f8ed9ae9cc (patch) | |
| tree | aeb7f3c6337b254cafa81d0083d2107c3134b180 /sim | |
| parent | 50f8134fa912464505487bc9df03324a96bf532b (diff) | |
| download | gdb-a7aa92e2cdf2ad0c0e722bc9b39200f8ed9ae9cc.zip gdb-a7aa92e2cdf2ad0c0e722bc9b39200f8ed9ae9cc.tar.gz gdb-a7aa92e2cdf2ad0c0e722bc9b39200f8ed9ae9cc.tar.bz2 | |
Remove SH3e sanitization.
Diffstat (limited to 'sim')
| -rw-r--r-- | sim/sh/.Sanitize | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/sim/sh/.Sanitize b/sim/sh/.Sanitize index 5c39f76..7ab53a0 100644 --- a/sim/sh/.Sanitize +++ b/sim/sh/.Sanitize @@ -37,26 +37,5 @@ Things-to-lose: Do-last: -sh3e_files="ChangeLog interp.c gencode.c" -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 - # End of file. |