From f55bebdd15906cbef124de82313513491f79454f Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Tue, 9 Sep 2008 15:39:38 +0000 Subject: remove a gurpmi.addmedia workaround that make us ignore some options --- NEWS | 1 + Rpmdrake/init.pm | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 04dbd2f2..6b86b87c 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,6 @@ - adapt to urpmi-6.6+ new API (which workaround urpmi API breakage #43639) +- do not ignore some options - rpmdrake: o update GUI package list diff --git a/Rpmdrake/init.pm b/Rpmdrake/init.pm index c73ec775..2a87d14b 100644 --- a/Rpmdrake/init.pm +++ b/Rpmdrake/init.pm @@ -105,7 +105,6 @@ foreach (@ARGV) { my ($name, $values) = split /=/, $val; my @values = split /,/, $values; $rpmdrake_options{$name} = \@values if @values; - splice @ARGV, $i-1, 1; } else { if ($val eq 'version') { print "$0 $version\n"; -- cgit v1.2.1