diff options
| -rw-r--r-- | dev-ml/core_bench/core_bench-0.14.0.ebuild | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-ml/core_bench/core_bench-0.14.0.ebuild b/dev-ml/core_bench/core_bench-0.14.0.ebuild index e181169b6916..c6b66b01b28d 100644 --- a/dev-ml/core_bench/core_bench-0.14.0.ebuild +++ b/dev-ml/core_bench/core_bench-0.14.0.ebuild @@ -22,7 +22,3 @@ DEPEND=" >=dev-ml/re-1.8.0:= " RDEPEND="${DEPEND}" - -src_compile() { - dune build @install --profile release || die -} |