From 947489e29282e244f84ba22108f58cb01ebe91a5 Mon Sep 17 00:00:00 2001 From: Martin Hunt Date: Tue, 27 Aug 1996 01:52:18 +0000 Subject: [PATCH] Mon Aug 26 18:36:54 1996 Martin M. Hunt * d10v/d10v.mt: New file. * d10v/tm-d10v.h: New file. --- gdb/config/.Sanitize | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index 4ef3101ce8b..cbeadd0a5ae 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 -- 2.30.2