From a8183040a06508b167ded18679dbe402c8538078 Mon Sep 17 00:00:00 2001
From: David Edelsohn <dje.gcc@gmail.com>
Date: Sun, 20 Mar 1994 20:44:34 +0000
Subject: [PATCH] Remove v9 sanitization.

---
 include/nlm/.Sanitize | 28 ----------------------------
 1 file changed, 28 deletions(-)

diff --git a/include/nlm/.Sanitize b/include/nlm/.Sanitize
index 6f1d0dfbf3..7a8b29cda4 100644
--- a/include/nlm/.Sanitize
+++ b/include/nlm/.Sanitize
@@ -45,33 +45,5 @@ Things-to-lose:
 
 Do-last:
 
-v9dirty="common.h"
-
-if ( echo $* | egrep verbose > /dev/null ) ; then
-	verbose=true
-else
-	verbose=
-fi
-
-if ( echo $* | grep keep\-v9 > /dev/null ) ; then
-	if [ -n "${verbose}" ] ; then
-		echo Keeping v9 in ${v9dirty}
-	fi
-else
-	for i in ${v9dirty} ; do
-		if [ -n "${verbose}" ] ; then
-			echo Sanitizing v9 in $i
-		fi
-		rm -f new
-		grep -v v9 $i > new
-		if [ -n "${safe}" ] ; then
-			mv $i .Recover
-		else
-			rm $i
-		fi
-		mv new $i
-	done
-fi
-
 
 # End of file.