diff options
| author | Doug Evans <dje@google.com> | 1998-01-28 17:45:50 +0000 |
|---|---|---|
| committer | Doug Evans <dje@google.com> | 1998-01-28 17:45:50 +0000 |
| commit | 4086bde1cdb1572f659c4e6102b0dba7e1a99e20 (patch) | |
| tree | ef39ca7053c3cb378aa64fff3fbe6d685a262e6c /include/elf/.Sanitize | |
| parent | 37099a25ed546e2a2e7bd3d7f96004899d182d59 (diff) | |
| download | fsf-binutils-gdb-4086bde1cdb1572f659c4e6102b0dba7e1a99e20.zip fsf-binutils-gdb-4086bde1cdb1572f659c4e6102b0dba7e1a99e20.tar.gz fsf-binutils-gdb-4086bde1cdb1572f659c4e6102b0dba7e1a99e20.tar.bz2 | |
txvu.h deleted in favor of generating mips files
Diffstat (limited to 'include/elf/.Sanitize')
| -rw-r--r-- | include/elf/.Sanitize | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/include/elf/.Sanitize b/include/elf/.Sanitize index 2c83e1c..78b2107 100644 --- a/include/elf/.Sanitize +++ b/include/elf/.Sanitize @@ -15,13 +15,6 @@ Do-first: -sky_files=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 @@ -133,7 +126,7 @@ else done fi -sky_files="ChangeLog common.h" +sky_files="ChangeLog mips.h" if ( echo $* | grep keep\-sky > /dev/null ) ; then for i in $sky_files ; do if test ! -d $i && (grep sanitize-sky $i > /dev/null) ; then |