diff options
| author | Nick Clifton <nickc@redhat.com> | 1998-08-04 00:36:01 +0000 |
|---|---|---|
| committer | Nick Clifton <nickc@redhat.com> | 1998-08-04 00:36:01 +0000 |
| commit | 28574bf9933ff53e6e048c1dadc5a7319a113dee (patch) | |
| tree | bb3579bab1825e2fda6985aab449033d46a0a2b6 /bfd/.Sanitize | |
| parent | 82912e99bd6712e83e2eaa5f95af4135334dd0dc (diff) | |
| download | gdb-28574bf9933ff53e6e048c1dadc5a7319a113dee.zip gdb-28574bf9933ff53e6e048c1dadc5a7319a113dee.tar.gz gdb-28574bf9933ff53e6e048c1dadc5a7319a113dee.tar.bz2 | |
fixed armelf sanitization
Diffstat (limited to 'bfd/.Sanitize')
| -rw-r--r-- | bfd/.Sanitize | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bfd/.Sanitize b/bfd/.Sanitize index 1c12fcd..5350fd2 100644 --- a/bfd/.Sanitize +++ b/bfd/.Sanitize @@ -23,6 +23,14 @@ else lose_these_too="${tic80_files} ${lose_these_too}" fi +armelf_files="elf32-arm.c" +if ( echo $* | grep keep\-armelf > /dev/null ) ; then + keep_these_too="${armelf_files} ${keep_these_too}" +else + lose_these_too="${armelf_files} ${lose_these_too}" +fi + + # All files listed between the "Things-to-keep:" line and the # "Do-last:" line will be kept. All other files will be removed. # Directories listed in this section will have their own Sanitize |