don't sanitize arc files that have already been deleted

diff --git a/opcodes/.Sanitize b/opcodes/.Sanitize
index f1619d202417d3b3a7ffbf5944ea318695fff9a4..22eeeb1c64ea86111ba474ebf97851d4d7eee8bb 100644 (file)
--- a/opcodes/.Sanitize
+++ b/opcodes/.Sanitize
@@ -154,7 +154,7 @@ else
        done
 fi
 
-arc_files="ChangeLog configure.in disassemble.c arc-dis.c arc-opc.c"
+arc_files="ChangeLog configure.in disassemble.c"
 if ( echo $* | grep keep\-arc > /dev/null ) ; then
        for i in $arc_files ; do
                if test ! -d $i && (grep sanitize-arc $i > /dev/null) ; then