diff options
author | David Edelsohn <dje.gcc@gmail.com> | 1995-05-16 22:20:45 +0000 |
---|---|---|
committer | David Edelsohn <dje.gcc@gmail.com> | 1995-05-16 22:20:45 +0000 |
commit | 80a0c990b0cbed5b0371375aeebc8e15337d7a88 (patch) | |
tree | 79ef51354e63c5c17cb1a4a7bf3c512ea4df2ff9 | |
parent | b0d419969efc6e5bd3bf81ae55266ea2777c0bc9 (diff) | |
download | gdb-80a0c990b0cbed5b0371375aeebc8e15337d7a88.zip gdb-80a0c990b0cbed5b0371375aeebc8e15337d7a88.tar.gz gdb-80a0c990b0cbed5b0371375aeebc8e15337d7a88.tar.bz2 |
Fix arc sanitization.
-rw-r--r-- | gdb/config/.Sanitize | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gdb/config/.Sanitize b/gdb/config/.Sanitize index 7db5638..5add00e 100644 --- a/gdb/config/.Sanitize +++ b/gdb/config/.Sanitize @@ -15,6 +15,12 @@ Do-first: +if ( echo $* | grep keep\-arc > /dev/null ) ; then + keep_these_too="arc ${keep_these_too}" +else + lose_these_too="arc ${lose_these_too}" +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 @@ -62,7 +68,6 @@ w65 z8k Things-to-lose: -arc Do-last: |