diff options
Diffstat (limited to 'ld/config/.Sanitize')
| -rw-r--r-- | ld/config/.Sanitize | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ld/config/.Sanitize b/ld/config/.Sanitize index 5abf006..47ae500 100644 --- a/ld/config/.Sanitize +++ b/ld/config/.Sanitize @@ -15,12 +15,12 @@ Do-first: -r16_files="r16-aout.mt" +rce_files="rce-aout.mt" -if ( echo $* | grep keep\-r16 > /dev/null ) ; then - keep_these_too="${r16_files} ${keep_these_too}" +if ( echo $* | grep keep\-rce > /dev/null ) ; then + keep_these_too="${rce_files} ${keep_these_too}" else - lose_these_too="${r16_files} ${lose_these_too}" + lose_these_too="${rce_files} ${lose_these_too}" fi # All files listed between the "Things-to-keep:" line and the |