diff options
| author | Ian Lance Taylor <ian@airs.com> | 1998-08-21 15:58:30 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1998-08-21 15:58:30 +0000 |
| commit | 3eb82b4ed702b2132b2198ddd5eeb4a069a9fa8c (patch) | |
| tree | 97eae084250314a9e11d557ed9e80581db29df3a /gas/.Sanitize | |
| parent | 7b3e7df66bac0892f70af288402c4c393356dfa2 (diff) | |
| download | gdb-3eb82b4ed702b2132b2198ddd5eeb4a069a9fa8c.zip gdb-3eb82b4ed702b2132b2198ddd5eeb4a069a9fa8c.tar.gz gdb-3eb82b4ed702b2132b2198ddd5eeb4a069a9fa8c.tar.bz2 | |
skip CVS when looking at sanitized files
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 |