diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-09-14 11:10:11 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-09-14 11:10:11 +0100 |
commit | 81b8f20732954c4508baf2f77472b5435e3f851f (patch) | |
tree | 4180177cb7ba85eab50159ce96218c2419fb24a6 /dev-ml/batteries/batteries-3.4.0.ebuild | |
parent | 946859e0e36904cffb3e0ccbccb6b7b1347c1cc8 (diff) |
gentoo auto-resync : 14:09:2022 - 11:10:10
Diffstat (limited to 'dev-ml/batteries/batteries-3.4.0.ebuild')
-rw-r--r-- | dev-ml/batteries/batteries-3.4.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/batteries/batteries-3.4.0.ebuild b/dev-ml/batteries/batteries-3.4.0.ebuild index 7ed00dd97cf9..172fd00ac6ab 100644 --- a/dev-ml/batteries/batteries-3.4.0.ebuild +++ b/dev-ml/batteries/batteries-3.4.0.ebuild @@ -27,5 +27,5 @@ src_compile() { } src_install() { - findlib_src_install + findlib_src_install BATTERIES_NATIVE=$(usex ocamlopt yes no) } |