diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-05-04 22:28:33 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-05-04 22:28:33 +0100 |
| commit | a978c074e4272bb901fbe4a10de0a7b2af574f17 (patch) | |
| tree | 8c764c1cc0576389ce22abd317bceba71ea5732d /dev-ml/camlp5/camlp5-7.13.ebuild | |
| parent | 40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (diff) | |
gentoo resync : 04.05.2021
Diffstat (limited to 'dev-ml/camlp5/camlp5-7.13.ebuild')
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.13.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/camlp5/camlp5-7.13.ebuild b/dev-ml/camlp5/camlp5-7.13.ebuild index 470b0612971b..79a35e5dfeb0 100644 --- a/dev-ml/camlp5/camlp5-7.13.ebuild +++ b/dev-ml/camlp5/camlp5-7.13.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -36,7 +36,7 @@ src_configure() { -mandir /usr/share/man || die "configure failed" } -src_compile(){ +src_compile() { emake out if use ocamlopt; then emake opt |