diff --git a/ld/emultempl/.Sanitize b/ld/emultempl/.Sanitize index 530ad84e8ad..38bc9986196 100644 --- a/ld/emultempl/.Sanitize +++ b/ld/emultempl/.Sanitize @@ -15,6 +15,13 @@ Do-first: +armelf_files="armelf.em" +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 + beos_files="beos.em" if ( echo $* | grep keep\-beos > /dev/null ) ; then keep_these_too="${beos_files} ${keep_these_too}"