1 |
commit: edc0f3c9e1579243699ab7603752375b90b6fcf3 |
2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Aug 3 20:56:50 2018 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Aug 3 20:56:50 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edc0f3c9 |
7 |
|
8 |
dev-ada/gnatcoll-db: fix install when there is no library |
9 |
|
10 |
Closes: https://bugs.gentoo.org/662728 |
11 |
Package-Manager: Portage-2.3.40, Repoman-2.3.9 |
12 |
|
13 |
dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild | 2 +- |
14 |
1 file changed, 1 insertion(+), 1 deletion(-) |
15 |
|
16 |
diff --git a/dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild b/dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild |
17 |
index a9b22807ce1..912baaa0095 100644 |
18 |
--- a/dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild |
19 |
+++ b/dev-ada/gnatcoll-db/gnatcoll-db-2018.ebuild |
20 |
@@ -99,6 +99,6 @@ src_install() { |
21 |
build $dir $lib ${dir} |
22 |
fi |
23 |
done |
24 |
- rm -r "${D}"/usr/share/gpr/manifests || die |
25 |
+ rm -rf "${D}"/usr/share/gpr/manifests |
26 |
einstalldocs |
27 |
} |