diff options
author | Michael Tiemann <tiemann@cygnus> | 1994-11-27 19:17:46 +0000 |
---|---|---|
committer | Michael Tiemann <tiemann@cygnus> | 1994-11-27 19:17:46 +0000 |
commit | edf728958e27d5b0da70309c5d6b9e99bc9ae440 (patch) | |
tree | 0d8bfdf8f6d0ef5cb9db77b038a428759fa68579 /gas | |
parent | 6ae98644a46899e2598a6d46ce8c91e18be96f35 (diff) | |
download | gdb-edf728958e27d5b0da70309c5d6b9e99bc9ae440.zip gdb-edf728958e27d5b0da70309c5d6b9e99bc9ae440.tar.gz gdb-edf728958e27d5b0da70309c5d6b9e99bc9ae440.tar.bz2 |
Change r16 -> rce.
Diffstat (limited to 'gas')
-rw-r--r-- | gas/config/.Sanitize | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize index 0d46153..b4934b3 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -15,12 +15,12 @@ Do-first: -r16_files="tc-r16.c tc-r16.h rce.mt" +rce_files="tc-rce.c tc-rce.h rce.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 |