diff options
| -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 |