diff options
Diffstat (limited to 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index 1982d62d..7179b8e6 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -151,6 +151,7 @@ if ($options{distrib}) { probe_with => $options{probe_with}, nolock => $options{nolock}, ask_media => $add_media_callback, + 'verify-rpm' => $options{'verify-rpm'}, 'xml-info' => $options{'xml-info'}, ) or $urpm->{fatal}(10, N("unable to add medium")); $ok = urpm::media::update_media($urpm, %options, @@ -172,6 +173,7 @@ if ($options{distrib}) { zeroconf => $options{zeroconf}, 'with-dir' => $with_dir, virtual => $options{virtual}, + 'verify-rpm' => $options{'verify-rpm'}, update => $options{update}, ignore => $options{raw}, nolock => $options{nolock}, |