aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Snyder <msnyder@vmware.com>1996-10-31 02:28:56 +0000
committerMichael Snyder <msnyder@vmware.com>1996-10-31 02:28:56 +0000
commitafb89dc334e6068db826e34374fba4292a7cc1a7 (patch)
tree18e22a51c66bd5514a7ae3dac0a27b3fe7d098ae
parent70ab088d0825bc9f7cb8f5dc68459cbe0f5e3e8e (diff)
downloadgdb-afb89dc334e6068db826e34374fba4292a7cc1a7.zip
gdb-afb89dc334e6068db826e34374fba4292a7cc1a7.tar.gz
gdb-afb89dc334e6068db826e34374fba4292a7cc1a7.tar.bz2
Keep changes, if m32r.
-rw-r--r--gdb/config/.Sanitize14
1 files changed, 14 insertions, 0 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize
index da852d9..0053a04 100644
--- a/gdb/config/.Sanitize
+++ b/gdb/config/.Sanitize
@@ -63,6 +63,20 @@ else
fi
fi
+m32r_files="m32r"
+
+if ( echo $* | grep keep\-m32r > /dev/null ) ; then
+ keep_these_too="${m32r_files} ${keep_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Keeping ${m32r_files}
+ fi
+else
+ lose_these_too="${m32r_files} ${lose_these_too}"
+ if [ -n "${verbose}" ] ; then
+ echo Deleting ${m32r_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