diff options
| -rw-r--r-- | sim/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sim/.Sanitize b/sim/.Sanitize index ff0bd92..8dd0e7a 100644 --- 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 |