diff options
| author | Ian Lance Taylor <ian@airs.com> | 1997-02-27 23:34:14 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1997-02-27 23:34:14 +0000 |
| commit | 8a683c67207980baf35c8a94c2bb21fb2fde2a3d (patch) | |
| tree | fe416e3603988b6404eb67c560c5fe51ec758f81 | |
| parent | a88ce21e33d7d60d8db3e84aa9455b63a974b8f6 (diff) | |
| download | gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.zip gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.tar.gz gdb-8a683c67207980baf35c8a94c2bb21fb2fde2a3d.tar.bz2 | |
remove d10v sanitization
| -rw-r--r-- | gas/config/.Sanitize | 10 | ||||
| -rw-r--r-- | gas/doc/.Sanitize | 8 |
2 files changed, 3 insertions, 15 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 8ecf818..4b73003 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -23,14 +23,6 @@ else lose_these_too="${arc_files} ${lose_these_too}" fi -d10v_files="tc-d10v.c tc-d10v.h" - -if ( echo $* | grep keep\-d10v > /dev/null ) ; then - keep_these_too="${d10v_files} ${keep_these_too}" -else - lose_these_too="${d10v_files} ${lose_these_too}" -fi - d30v_files="tc-d30v.c tc-d30v.h" if ( echo $* | grep keep\-d30v > /dev/null ) ; then @@ -117,6 +109,8 @@ tc-alpha.c tc-alpha.h tc-arm.c tc-arm.h +tc-d10v.c +tc-d10v.h tc-generic.c tc-generic.h tc-h8300.c diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index 0ffaa20..49d14f0 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -16,13 +16,6 @@ Do-first: -d10v_files="c-d10v.texi" -if ( echo $* | grep keep\-d10v > /dev/null ) ; then - keep_these_too="${d10v_files} ${keep_these_too}" -else - lose_these_too="${d10v_files} ${lose_these_too}" -fi - # All files listed between the "Things-to-keep:" line and the # "Files-to-sed:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize @@ -36,6 +29,7 @@ all.texi as.1 as.texinfo c-a29k.texi +c-d10v.texi c-h8300.texi c-h8500.texi c-hppa.texi |