diff --git a/gdb/.Sanitize b/gdb/.Sanitize
index 51a6c81935..3f5963ad39 100644
--- a/gdb/.Sanitize
+++ b/gdb/.Sanitize
@@ -609,33 +609,6 @@ else
 	done
 fi
 
-if ( echo $* | grep keep\-tx39 > /dev/null ) ; then
-	for i in * ; do
-		if test ! -d $i && (grep sanitize-tx39 $i > /dev/null) ; then
-			if [ -n "${verbose}" ] ; then
-				echo Keeping tx39 stuff in $i
-			fi
-		fi
-	done
-else
-	for i in * ; do
-		if test ! -d $i && (grep sanitize-tx39 $i > /dev/null) ; then
-			if [ -n "${verbose}" ] ; then
-				echo Removing traces of \"tx39\" from $i...
-			fi
-			cp $i new
-			sed '/start\-sanitize\-tx39/,/end-\sanitize\-tx39/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
-
 if ( echo $* | grep keep\-tx49 > /dev/null ) ; then
 	for i in * ; do
 		if test ! -d $i && (grep sanitize-tx49 $i > /dev/null) ; then