sanitization fix.

diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize
index 71cd19a510fea2d8b191d628e96067e0753ab4d8..b16723190af88202dea945d16277590fdd5fbd29 100644 (file)
--- a/opcodes/.Sanitize
+++ b/opcodes/.Sanitize
@@ -133,6 +133,23 @@ z8kgen.c
 Things-to-lose:
 
 Do-last:
+never_files="Makefile.am Makefile.in"
+for i in $never_files ; do
+        if test ! -d $i && (grep sanitize-cygnus-never $i > /dev/null) ; then
+                if [ -n "${verbose}" ] ; then
+                        echo Removing traces of \"cygnus-never\" from $i...
+                fi
+                cp $i new
+                sed '/start\-sanitize\-cygnus-never/,/end\-sanitize\-cygnus-never/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
 
 cygnus_files="ChangeLog Makefile.am Makefile.in configure.in configure"
 if ( echo $* | grep keep\-cygnus > /dev/null ) ; then