Skip symlinks; don't bother keeping a list of files that is never used.

diff --git a/Tools/scripts/cvsfiles.py b/Tools/scripts/cvsfiles.py
index f164210491403d6d67f76e408f3fe9f82597da5a..21e72ee386e0dabf6c935485d7369b6b4a39101f 100755 (executable)
--- 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()
-