Keep changes, if m32r.
authorMichael Snyder <msnyder@vmware.com>
Thu, 31 Oct 1996 02:28:56 +0000 (02:28 +0000)
committerMichael Snyder <msnyder@vmware.com>
Thu, 31 Oct 1996 02:28:56 +0000 (02:28 +0000)
gdb/config/.Sanitize

index da852d9f978a3b60788c59ffda59b2716e52d879..0053a0412b2aa8659c6976d8a36fff8d785ff001 100644 (file)
@@ -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