Add armelf.

diff --git a/ld/emultempl/.Sanitize b/ld/emultempl/.Sanitize
index 530ad84e8ad0fa7a00a09f9ca4e6f305a3a0430e..38bc9986196fe36a77245eda3d56c3f3ccedca26 100644 (file)
--- 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}"