| 1 |
commit: 8eaf8dbe03de28867915417da50b5089a52835ad |
| 2 |
Author: Andrey Utkin <andrey_utkin <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Mon Jul 29 19:45:32 2019 +0000 |
| 4 |
Commit: Andrey Utkin <andrey_utkin <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Mon Jul 29 21:00:11 2019 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8eaf8dbe |
| 7 |
|
| 8 |
media-libs/raspberrypi-userland-bin: don't look for sbin/ |
| 9 |
|
| 10 |
Back in 2017, there used to be such directory, but now there's none. |
| 11 |
|
| 12 |
Package-Manager: Portage-2.3.66, Repoman-2.3.16 |
| 13 |
Signed-off-by: Andrey Utkin <andrey_utkin <AT> gentoo.org> |
| 14 |
|
| 15 |
.../raspberrypi-userland-bin/raspberrypi-userland-bin-1.20190709.ebuild | 1 - |
| 16 |
1 file changed, 1 deletion(-) |
| 17 |
|
| 18 |
diff --git a/media-libs/raspberrypi-userland-bin/raspberrypi-userland-bin-1.20190709.ebuild b/media-libs/raspberrypi-userland-bin/raspberrypi-userland-bin-1.20190709.ebuild |
| 19 |
index de28e90041a..8bd52f28799 100644 |
| 20 |
--- a/media-libs/raspberrypi-userland-bin/raspberrypi-userland-bin-1.20190709.ebuild |
| 21 |
+++ b/media-libs/raspberrypi-userland-bin/raspberrypi-userland-bin-1.20190709.ebuild |
| 22 |
@@ -33,7 +33,6 @@ src_install() { |
| 23 |
doins -r include |
| 24 |
into /opt |
| 25 |
dobin bin/* |
| 26 |
- dobin sbin/* |
| 27 |
insopts -m 0755 |
| 28 |
insinto "/opt/vc/$(get_libdir)" |
| 29 |
doins -r lib/* |
Archives