diff options
Diffstat (limited to 'gas/config/.Sanitize')
| -rw-r--r-- | gas/config/.Sanitize | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 8eec333..1a23079 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -15,6 +15,14 @@ Do-first: +r16_files="tc-r16.c tc-r16.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 |