diff options
Diffstat (limited to 'dev-ml/camlp5/camlp5-7.12.ebuild')
-rw-r--r-- | dev-ml/camlp5/camlp5-7.12.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/camlp5/camlp5-7.12.ebuild b/dev-ml/camlp5/camlp5-7.12.ebuild index 5b42e456fdf2..57725adb301e 100644 --- a/dev-ml/camlp5/camlp5-7.12.ebuild +++ b/dev-ml/camlp5/camlp5-7.12.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 @@ -42,7 +42,7 @@ src_configure() { -mandir /usr/share/man || die "configure failed" } -src_compile(){ +src_compile() { emake out if use ocamlopt; then emake opt |