diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
commit | 0f558761aa2dee1017b4751e4017205e015a9560 (patch) | |
tree | 037df795519468a25d9362b4e95cdaeb84eb1cf9 /dev-ml/cmdliner/cmdliner-1.1.1.ebuild | |
parent | 752d6256e5204b958b0ef7905675a940b5e9172f (diff) |
gentoo resync : 29.12.2022
Diffstat (limited to 'dev-ml/cmdliner/cmdliner-1.1.1.ebuild')
-rw-r--r-- | dev-ml/cmdliner/cmdliner-1.1.1.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/cmdliner/cmdliner-1.1.1.ebuild b/dev-ml/cmdliner/cmdliner-1.1.1.ebuild index be4a062fab81..fbc37343672a 100644 --- a/dev-ml/cmdliner/cmdliner-1.1.1.ebuild +++ b/dev-ml/cmdliner/cmdliner-1.1.1.ebuild @@ -26,7 +26,8 @@ DEPEND="${RDEPEND} src_compile() { emake build-byte if use ocamlopt ; then - emake build-native build-native-dynlink + emake build-native-dynlink + emake build-native fi } |