diff options
| author | Stu Grossman <grossman@cygnus> | 1997-09-25 01:26:07 +0000 |
|---|---|---|
| committer | Stu Grossman <grossman@cygnus> | 1997-09-25 01:26:07 +0000 |
| commit | 4d5d36f015212384d5540c5d65ae9e220ad226cc (patch) | |
| tree | 94417f5286967e82d69cc4f8c52a44dfa2d932fb /gdb | |
| parent | cdc1bc63355354c9e7943a3d4a3ae4080aeae49b (diff) | |
| download | gdb-4d5d36f015212384d5540c5d65ae9e220ad226cc.zip gdb-4d5d36f015212384d5540c5d65ae9e220ad226cc.tar.gz gdb-4d5d36f015212384d5540c5d65ae9e220ad226cc.tar.bz2 | |
d30v sanitization
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/config/.Sanitize | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index fa2df86..6ba56c0 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -49,6 +49,20 @@ else lose_these_too="v850 ${lose_these_too}" 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 |