chiark / gitweb /
bin/chroot-maint: Don't forget to copy symlinks to directories.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 19 Apr 2020 17:11:59 +0000 (18:11 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 19 Apr 2020 17:11:59 +0000 (18:11 +0100)
Just because they look like directories superficially doesn't mean we
should skip them.

bin/chroot-maint

index 2f91e9c54bc087f9114eccee3abcdf2e57db01b9..9d2d366053e30fe77f5596a52511cbea9cea77d7 100755 (executable)
@@ -1944,7 +1944,7 @@ class ChrootJob (BaseJob):
             continue
           ff.append(f)
           path = OS.path.join(dir, f)
-          if not OS.path.isdir(path): examine(path)
+          if OS.path.islink(path) or not OS.path.isdir(path): examine(path)
         files[:] = ff
       OS.path.walk(crossdir, visit, None)
       OS.path.walk(OS.path.join(crossdir, "TOOLCHAIN", gnuarch),