* add valops.c to list of files to be sanitized for d10v
authorMark Alexander <marka@cygnus>
Fri, 6 Dec 1996 17:44:23 +0000 (17:44 +0000)
committerMark Alexander <marka@cygnus>
Fri, 6 Dec 1996 17:44:23 +0000 (17:44 +0000)
gdb/.Sanitize

index 8dd24e7a1f2da682e6308fcc459f36d6edc6cf79..3107f8f2622e49c2ddf2e0c672fa91af9beea5b9 100644 (file)
@@ -515,7 +515,7 @@ else
        done
 fi
 
-d10v_files="configure.tgt ChangeLog"
+d10v_files="configure.tgt ChangeLog valops.c"
 
 if ( echo $* | grep keep\-d10v > /dev/null ) ; then
        for i in $d10v_files ; do