aboutsummaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
authorMartin Hunt <hunt@redhat.com>1996-08-27 01:52:18 +0000
committerMartin Hunt <hunt@redhat.com>1996-08-27 01:52:18 +0000
commit947489e29282e244f84ba22108f58cb01ebe91a5 (patch)
treef1e36d986a61f8738a5de92906dddfc9fca9d82e /gdb
parent7b3fa778e2e3ff01f3c3052a4ca0c8d3c5b1b357 (diff)
downloadgdb-947489e29282e244f84ba22108f58cb01ebe91a5.zip
gdb-947489e29282e244f84ba22108f58cb01ebe91a5.tar.gz
gdb-947489e29282e244f84ba22108f58cb01ebe91a5.tar.bz2
Mon Aug 26 18:36:54 1996 Martin M. Hunt <hunt@pizza.cygnus.com>
* d10v/d10v.mt: New file. * d10v/tm-d10v.h: New file.
Diffstat (limited to 'gdb')
-rw-r--r--gdb/config/.Sanitize14
1 files changed, 14 insertions, 0 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index 4ef3101..cbeadd0 100644
--- a/gdb/config/.Sanitize
+++ b/gdb/config/.Sanitize
@@ -35,6 +35,20 @@ else
fi
fi
+d10v_files="tm-magic.h"
+
+if ( echo $* | grep keep\-d10v > /dev/null ) ; then
+ keep_these_too="${d10v_files} ${keep_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Keeping ${d10v_files}
+ fi
+else
+ lose_these_too="${d10v_files} ${lose_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Deleting ${d10v_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