fix for D10V.

1996-08-12 18:04:58 +00:00 · 1996-08-12 18:04:58 +00:00 · f45dceb998
commit f45dceb998
parent 8df646fd8b
1 changed files with 1 additions and 1 deletions
--- a/sim/.Sanitize
+++ b/sim/.Sanitize
@ -49,7 +49,7 @@ Things-to-lose:

 Do-last:

-d10v_files="d10v"
+d10v_files="configure configure.in ChangeLog"
 if ( echo $* | grep keep\-d10v > /dev/null ) ; then
        for i in $d10v_files ; do
                if test ! -d $i && (grep sanitize-d10v $i > /dev/null) ; then