aboutsummaryrefslogtreecommitdiff
path: root/gdb/config/.Sanitize
diff options
context:
space:
mode:
authorStu Grossman <grossman@cygnus>1996-09-28 01:16:06 +0000
committerStu Grossman <grossman@cygnus>1996-09-28 01:16:06 +0000
commit2652deb7e03557470fd7129c2e42f3573a8a52ad (patch)
treec0eccdeb2c8748aa3647feea67c90bb8a5bf224e /gdb/config/.Sanitize
parent1fa83dcd6689979ceaafe086971fa04e6a8d8949 (diff)
downloadgdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.zip
gdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.tar.gz
gdb-2652deb7e03557470fd7129c2e42f3573a8a52ad.tar.bz2
Sanitize v850 shit.
Diffstat (limited to 'gdb/config/.Sanitize')
-rw-r--r--gdb/config/.Sanitize14
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