diff options
| author | Doug Evans <dje@google.com> | 1997-12-22 17:55:19 +0000 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 1997-12-22 17:55:19 +0000 |
| commit | 209fb3464228555984df611ef9ffafe6978ab209 (patch) | |
| tree | 0ba761362d7b35fce061246cfde7cfe1e42d5bdf /gas/config/.Sanitize | |
| parent | 1eb4e377283922f471da5f967e0b7153eb7ebc72 (diff) | |
| download | gdb-209fb3464228555984df611ef9ffafe6978ab209.zip gdb-209fb3464228555984df611ef9ffafe6978ab209.tar.gz gdb-209fb3464228555984df611ef9ffafe6978ab209.tar.bz2 | |
* tc-txvu.[ch]: New files.
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 fe1a6c5..252691d 100644 --- a/gas/config/.Sanitize +++ b/gas/config/.Sanitize @@ -35,6 +35,14 @@ else lose_these_too="${tic80_files} ${lose_these_too}" fi +sky_files="tc-txvu.c tc-txvu.h" + +if ( echo $* | grep keep\-sky > /dev/null ) ; then + keep_these_too="${sky_files} ${keep_these_too}" +else + lose_these_too="${sky_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 |