diff options
-rwxr-xr-x | edit-urpm-sources.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/edit-urpm-sources.pl b/edit-urpm-sources.pl index 0127145d..ee0a2085 100755 --- a/edit-urpm-sources.pl +++ b/edit-urpm-sources.pl @@ -117,6 +117,7 @@ Is it ok to continue?", $rpmdrake::mandrake_release), $urpm, { nolock => 1, distrib => 1 }, $medium_name, $url, probe_with => 'synthesis', initial_number => $initial_number, + usedistrib => 1, ); } else { $medium_name = 'update_source'; |