diff options
author | Stu Grossman <grossman@cygnus> | 1996-09-28 01:16:06 +0000 |
---|---|---|
committer | Stu Grossman <grossman@cygnus> | 1996-09-28 01:16:06 +0000 |
commit | 2652deb7e03557470fd7129c2e42f3573a8a52ad (patch) | |
tree | c0eccdeb2c8748aa3647feea67c90bb8a5bf224e /gdb/config/.Sanitize | |
parent | 1fa83dcd6689979ceaafe086971fa04e6a8d8949 (diff) | |
download | gdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.zip gdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.tar.gz gdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.tar.bz2 |
Sanitize v850 shit.
Diffstat (limited to 'gdb/config/.Sanitize')
-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 519833e..da852d9 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -49,6 +49,20 @@ else fi fi +v850_files="v850" + +if ( echo $* | grep keep\-v850 > /dev/null ) ; then + keep_these_too="${v850_files} ${keep_these_too}" + if [ -n "${verbose}" ] ; then + echo Keeping ${v850_files} + fi +else + lose_these_too="${v850_files} ${lose_these_too}" + if [ -n "${verbose}" ] ; then + echo Deleting ${v850_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 |