diff options
Diffstat (limited to 'gdb/config/.Sanitize')
| -rw-r--r-- | gdb/config/.Sanitize | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index 8f8596fc77f..83a1570e7a7 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -29,20 +29,6 @@ else fi fi -d30v_files="d30v" - -if ( echo $* | grep keep\-d30v > /dev/null ) ; then - keep_these_too="${d30v_files} ${keep_these_too}" - if [ -n "${verbose}" ] ; then - echo Keeping ${d30v_files} - fi -else - lose_these_too="${d30v_files} ${lose_these_too}" - if [ -n "${verbose}" ] ; then - echo Deleting ${d30v_files} - fi -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 @@ -57,6 +43,7 @@ arc arm convex d10v +d30v gould h8300 h8500 |