diff options
Diffstat (limited to 'gas/.Sanitize')
| -rw-r--r-- | gas/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/.Sanitize b/gas/.Sanitize index eebfe6d..d9fe1b9e 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -189,7 +189,7 @@ else done fi -v850_files="ChangeLog configure.in configure Makefile.in" +v850_files="ChangeLog configure.in configure Makefile.in write.c" if ( echo $* | grep keep\-v850 > /dev/null ) ; then for i in $v850_files ; do if test ! -d $i && (grep sanitize-v850 $i > /dev/null) ; then |