summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--urpm/args.pm4
1 files changed, 4 insertions, 0 deletions
diff --git a/urpm/args.pm b/urpm/args.pm
index e890add0..54b95022 100644
--- a/urpm/args.pm
+++ b/urpm/args.pm
@@ -408,6 +408,10 @@ sub parse_cmdline {
$options{$k} = $args{defaults}{$k};
}
my $ret = GetOptions(%{$options_spec{$tool}});
+
+ if ($tool ne 'urpmi.addmedia' && $options{probe_with} && !$options{usedistrib}) {
+ die N("Can't use %s without %s", "--probe-$options{probe_with}", "--use-distrib");
+ }
if ($tool eq 'urpmf' && @ARGV && $ARGV[0] eq '--') {
if (@ARGV == 2) {
my $p = $ARGV[1];