diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2006-11-24 14:19:15 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2006-11-24 14:19:15 +0000 |
| commit | 03e88f7af50028160bcac14fe742c6384877eed7 (patch) | |
| tree | f2b047175aec499b45b155a00f1cbae3dbf1feb9 | |
| parent | 1cc53e5756df8c1e48e19e3d0103c53f9fe2bc80 (diff) | |
| download | urpmi-03e88f7af50028160bcac14fe742c6384877eed7.tar urpmi-03e88f7af50028160bcac14fe742c6384877eed7.tar.gz urpmi-03e88f7af50028160bcac14fe742c6384877eed7.tar.bz2 urpmi-03e88f7af50028160bcac14fe742c6384877eed7.tar.xz urpmi-03e88f7af50028160bcac14fe742c6384877eed7.zip | |
cleaner
| -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} || {}}; |