diff options
author | Gavin Romig-Koch <gavin@redhat.com> | 1997-02-11 13:26:34 +0000 |
---|---|---|
committer | Gavin Romig-Koch <gavin@redhat.com> | 1997-02-11 13:26:34 +0000 |
commit | 276c2d7dc8a0057901123776b5ae26fe48ce69e2 (patch) | |
tree | f92c4a48e0f2f6b8df840f40d6a5ec752bb6d076 /config/.Sanitize | |
parent | a7f081a5be64456cdd268ceb515db7c94737c2b2 (diff) | |
download | gdb-276c2d7dc8a0057901123776b5ae26fe48ce69e2.zip gdb-276c2d7dc8a0057901123776b5ae26fe48ce69e2.tar.gz gdb-276c2d7dc8a0057901123776b5ae26fe48ce69e2.tar.bz2 |
Add r5900
Diffstat (limited to 'config/.Sanitize')
-rw-r--r-- | config/.Sanitize | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/.Sanitize b/config/.Sanitize index cb8ced1..97e80b5 100644 --- a/config/.Sanitize +++ b/config/.Sanitize @@ -15,6 +15,12 @@ Do-first: +if ( echo $* | grep keep\-r5900 > /dev/null ) ; then + keep_these_too="${keep_these_too} mt-r5900" +else + lose_these_too="${lose_these_too} mt-r5900" +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 |