From f55bebdd15906cbef124de82313513491f79454f Mon Sep 17 00:00:00 2001
From: Thierry Vignaud <tv@mandriva.org>
Date: Tue, 9 Sep 2008 15:39:38 +0000
Subject: remove a gurpmi.addmedia workaround that make us ignore some options

---
 Rpmdrake/init.pm | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Rpmdrake')

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