summaryrefslogtreecommitdiffstats
path: root/urpmi.addmedia
diff options
context:
space:
mode:
Diffstat (limited to 'urpmi.addmedia')
-rwxr-xr-xurpmi.addmedia2
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},