1
0
Fork 0

Added a todo for package dupes

pull/8850/head
Yanick Witschi 2020-05-07 22:25:53 +02:00 committed by Jordi Boggiano
parent 014e9d5dd1
commit 6ef47baca1
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 0 deletions

View File

@ -209,6 +209,7 @@ class PoolBuilder
}
// Filter duplicate packages
// TODO: can we optimize this so that we don't even end up having dupes here?
$presentPackages = array();
foreach ($this->packages as $i => $package) {
if (isset($presentPackages[$package->getUniqueName()])) {