diff options
| -rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 8dd24e7..3107f8f 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -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 |