diff options
| author | Thierry Vignaud <tv@mandriva.org> | 2008-10-21 17:40:32 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tv@mandriva.org> | 2008-10-21 17:40:32 +0000 |
| commit | 1e5669c7388ee697ed9123494a2ca086c534d02b (patch) | |
| tree | 47dcce1da08c37184880a69376e79aa834b53377 | |
| parent | 8b57d33c25f9faad92132af840158a6228482597 (diff) | |
| download | rpmdrake-1e5669c7388ee697ed9123494a2ca086c534d02b.tar rpmdrake-1e5669c7388ee697ed9123494a2ca086c534d02b.tar.gz rpmdrake-1e5669c7388ee697ed9123494a2ca086c534d02b.tar.bz2 rpmdrake-1e5669c7388ee697ed9123494a2ca086c534d02b.tar.xz rpmdrake-1e5669c7388ee697ed9123494a2ca086c534d02b.zip | |
make failing medium a fatal error of ignoring them (esp. for --distrib)
| -rw-r--r-- | NEWS | 3 | ||||
| -rwxr-xr-x | gurpmi.addmedia | 2 |
2 files changed, 4 insertions, 1 deletions
@@ -1,3 +1,6 @@ +- gurpmi.addmedia: + o make failing medium a fatal error of ignoring them (esp. for --distrib) + Version 4.9.13.6 - 30 September 2008, Thierry Vignaud - gurpmi.addmedia: diff --git a/gurpmi.addmedia b/gurpmi.addmedia index 23c39230..9226ffd8 100755 --- a/gurpmi.addmedia +++ b/gurpmi.addmedia @@ -128,7 +128,7 @@ foreach (@addmedia_args) { #- NB: that short circuits $success = $success && add_medium_and_check( $urpm, - { distrib => $distrib }, + { distrib => $distrib, failures_are_fatal => 1 }, $_->[0], $_->[1], if_(!$distrib, undef), |