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 b90deef..72710e0 100644 --- a/gas/.Sanitize +++ b/gas/.Sanitize @@ -547,7 +547,7 @@ done # Check each file we removed from gas/config, and make sure it is not # mentioned in Makefiles or configure files. for lost in .. $gas_config_files; do - if test $lost != ..; then + if test $lost != .. && test $lost != CVS; then if test -f config/$lost; then : else |