diff options
| author | Michael Snyder <msnyder@vmware.com> | 1996-10-31 02:28:56 +0000 |
|---|---|---|
| committer | Michael Snyder <msnyder@vmware.com> | 1996-10-31 02:28:56 +0000 |
| commit | afb89dc334e6068db826e34374fba4292a7cc1a7 (patch) | |
| tree | 18e22a51c66bd5514a7ae3dac0a27b3fe7d098ae /gdb/config | |
| parent | 70ab088d0825bc9f7cb8f5dc68459cbe0f5e3e8e (diff) | |
| download | gdb-afb89dc334e6068db826e34374fba4292a7cc1a7.zip gdb-afb89dc334e6068db826e34374fba4292a7cc1a7.tar.gz gdb-afb89dc334e6068db826e34374fba4292a7cc1a7.tar.bz2 | |
Keep changes, if m32r.
Diffstat (limited to 'gdb/config')
| -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 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 |