* [gentoo-commits] repo/gentoo:master commit in: media-sound/ogmtools/
@ 2018-05-30 0:27 99% Aaron Bauman
0 siblings, 0 replies; 1+ results
From: Aaron Bauman @ 2018-05-30 0:27 UTC (permalink / raw
To: gentoo-commits
commit: de93069d0637d865d95327dad6cbcedbb69d64ab
Author: Aaron Bauman <bman <AT> gentoo <DOT> org>
AuthorDate: Wed May 30 00:17:17 2018 +0000
Commit: Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Wed May 30 00:27:34 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=de93069d
media-sound/ogmtools: remove if/then in favor of use &&
Package-Manager: Portage-2.3.40, Repoman-2.3.9
media-sound/ogmtools/ogmtools-1.5-r2.ebuild | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/media-sound/ogmtools/ogmtools-1.5-r2.ebuild b/media-sound/ogmtools/ogmtools-1.5-r2.ebuild
index 56f8611e8a2..2615313a813 100644
--- a/media-sound/ogmtools/ogmtools-1.5-r2.ebuild
+++ b/media-sound/ogmtools/ogmtools-1.5-r2.ebuild
@@ -31,9 +31,7 @@ src_configure() {
src_install() {
dobin ogmmerge ogmdemux ogminfo ogmsplit ogmcat
- if use dvd; then
- dobin dvdxchap
- fi
+ use dvd && dobin dvdxchap
einstalldocs
doman *.1
^ permalink raw reply related [relevance 99%]
Results 1-1 of 1 | reverse | options above
-- pct% links below jump to the message on this page, permalinks otherwise --
2018-05-30 0:27 99% [gentoo-commits] repo/gentoo:master commit in: media-sound/ogmtools/ Aaron Bauman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox