diff options
author | Michael Tiemann <tiemann@cygnus> | 1994-11-24 20:30:11 +0000 |
---|---|---|
committer | Michael Tiemann <tiemann@cygnus> | 1994-11-24 20:30:11 +0000 |
commit | d94aca1affb15af8374bcb002f6a52fb724c9ccd (patch) | |
tree | c82833f1008f99eb1afc251e5c506ca5418a4520 /opcodes/.Sanitize | |
parent | 481faa25acc8ea42f8d5f5e5e37f137806616226 (diff) | |
download | binutils-gdb-d94aca1affb15af8374bcb002f6a52fb724c9ccd.tar.gz |
Safely check in r16 targets for binutils.
Diffstat (limited to 'opcodes/.Sanitize')
-rw-r--r-- | opcodes/.Sanitize | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize index 57e5aba474b..83c73b45616 100644 --- a/opcodes/.Sanitize +++ b/opcodes/.Sanitize @@ -23,6 +23,14 @@ else lose_these_too="${mpw_files} ${lose_these_too}" fi +r16_files="r16-dis.c r16-opc.h" + +if ( echo $* | grep keep\-r16 > /dev/null ) ; then + keep_these_too="${r16_files} ${keep_these_too}" +else + lose_these_too="${r16_files} ${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 |