check configure and ChangeLog for rce stuff too
authorKen Raeburn <raeburn@cygnus>
Tue, 29 Nov 1994 20:19:54 +0000 (20:19 +0000)
committerKen Raeburn <raeburn@cygnus>
Tue, 29 Nov 1994 20:19:54 +0000 (20:19 +0000)
gas/.Sanitize

index c84aef3109c1310f7ad79052adfad5969397844d..3926f41ddbf64a559a4ac8bd8bf40f7e859dfd8d 100644 (file)
@@ -125,7 +125,7 @@ else
        done
 fi
 
-rce_files="configure.in as.c"
+rce_files="configure.in as.c configure ChangeLog"
 
 if ( echo $* | grep keep\-rce > /dev/null ) ; then
        for i in $rce_files ; do