fixed armelf sanitization

diff --git a/bfd/.Sanitize b/bfd/.Sanitize
index 1c12fcd7dcb5a7ab7146cb3b5920025625189916..5350fd2a88314b07fb740fbd8ab6d31a211a43e0 100644 (file)
--- 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