diff options
Diffstat (limited to 'urpm/media.pm')
| -rw-r--r-- | urpm/media.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/urpm/media.pm b/urpm/media.pm index 8fb08248..9d33a56a 100644 --- a/urpm/media.pm +++ b/urpm/media.pm @@ -1253,6 +1253,7 @@ sub _read_rpms_from_dir { #- make sure the headers will not be removed for another media. $$clean_cache = 0; + my @unresolved = grep { ! defined $urpm->{provides}{$_}; } keys %{$urpm->{provides} || {}}; |