diff options
| author | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 19:59:48 +0000 |
|---|---|---|
| committer | Jim Wilson <wilson@tuliptree.org> | 1996-01-16 19:59:48 +0000 |
| commit | 130c6e3d59796f33ad8a57b58d16395c0d1d496b (patch) | |
| tree | 571db755406e7d4b77dddeff65be36be692b8b61 /gas | |
| parent | fd614e066ca6daeffcf9ee24c4976dfac045e9a8 (diff) | |
| download | gdb-130c6e3d59796f33ad8a57b58d16395c0d1d496b.zip gdb-130c6e3d59796f33ad8a57b58d16395c0d1d496b.tar.gz gdb-130c6e3d59796f33ad8a57b58d16395c0d1d496b.tar.bz2 | |
Remove sh3e sanitization.
Diffstat (limited to 'gas')
| -rw-r--r-- | gas/config/.Sanitize | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 97e39dd..e8fa684 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -178,28 +178,4 @@ else fi fi -sh3e_files="tc-sh.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 - if [ -n "${verbose}" ]; then - echo "" - fi -fi - # End of file. |