diff options
| author | Guido van Rossum <guido@python.org> | 1997-09-16 18:57:14 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1997-09-16 18:57:14 (GMT) |
| commit | d2ba3690ce16f946b0e588228c4153389b1c5efc (patch) | |
| tree | 33ef477db47204890ecb764342a1de2e2f73b36a | |
| parent | 7617e05a9befb3fdf1c4727f6fa0a79ff783b186 (diff) | |
| download | cpython-d2ba3690ce16f946b0e588228c4153389b1c5efc.zip cpython-d2ba3690ce16f946b0e588228c4153389b1c5efc.tar.gz cpython-d2ba3690ce16f946b0e588228c4153389b1c5efc.tar.bz2 | |
Skip symlinks; don't bother keeping a list of files that is never used.
| -rwxr-xr-x | Tools/scripts/cvsfiles.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Tools/scripts/cvsfiles.py b/Tools/scripts/cvsfiles.py index f1642104..21e72ee 100755 --- a/Tools/scripts/cvsfiles.py +++ b/Tools/scripts/cvsfiles.py @@ -17,7 +17,6 @@ def main(): def process(dir): cvsdir = 0 subdirs = [] - files = [] names = os.listdir(dir) for name in names: fullname = os.path.join(dir, name) @@ -25,9 +24,8 @@ def process(dir): cvsdir = fullname else: if os.path.isdir(fullname): - subdirs.append(fullname) - else: - files.append(fullname) + if not os.path.islink(fullname): + subdirs.append(fullname) if cvsdir: entries = os.path.join(cvsdir, "Entries") for e in open(entries).readlines(): @@ -39,4 +37,3 @@ def process(dir): process(sub) main() - |