make /usr/lib consolidation more robust
authorJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 16:20:32 +0000 (12:20 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 10 Aug 2020 16:20:32 +0000 (12:20 -0400)
commit6cb08876f056986fb0429c330f6ec9d8f8808438
tree9dbe0e8469f5e0dd9ccdafe2e7d1cd28b91f8247
parent5feaef773dca3af00342bb8c71595c33d813ce81
make /usr/lib consolidation more robust

Directory enumeration could happen in either order, and also there could
be some other directories so the two to combine are not adjacent.
Build/LinuxMkLibs.hs