diff --git a/gas/config/.Sanitize b/gas/config/.Sanitize
index 5d2c7f04269..1f00f932eca 100644
--- a/gas/config/.Sanitize
+++ b/gas/config/.Sanitize
@@ -266,33 +266,6 @@ else
 	done
 fi
 
-armelf_files="tc-arm.c tc-arm.h"
-if ( echo $* | grep keep\-armelf > /dev/null ) ; then
-	for i in $armelf_files ; do
-		if test ! -d $i && (grep sanitize-armelf $i > /dev/null) ; then
-			if [ -n "${verbose}" ] ; then
-				echo Keeping armelf stuff in $i
-			fi
-		fi
-	done
-else
-	for i in * ; do
-		if test ! -d $i && (grep sanitize-armelf $i > /dev/null) ; then
-			if [ -n "${verbose}" ] ; then
-				echo Removing traces of \"armelf\" from $i...
-			fi
-			cp $i new
-			sed '/start\-sanitize\-armelf/,/end\-sanitize\-armelf/d' < $i > new
-			if [ -n "${safe}" -a ! -f .Recover/$i ] ; then
-				if [ -n "${verbose}" ] ; then
-					echo Caching $i in .Recover...
-				fi
-				mv $i .Recover
-			fi
-			mv new $i
-		fi
-	done
-fi
 
 tx19_files="tc-mips.c"
 if ( echo $* | grep keep\-tx19 > /dev/null ) ; then