From 7c7d1cb41566515c7533ca3dea5e0b80cb462cce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Fri, 22 Oct 2021 00:24:13 +0200 Subject: [PATCH] dev-lang/lean: remove unnecessary test flag MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Maciej Barć --- dev-lang/lean/lean-3.33.0.ebuild | 3 +-- dev-lang/lean/lean-3.34.0.ebuild | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild index 7fe835012d..95b6a56553 100644 --- a/dev-lang/lean/lean-3.33.0.ebuild +++ b/dev-lang/lean/lean-3.33.0.ebuild @@ -21,10 +21,9 @@ else fi S="${WORKDIR}/lean-${PV}/src" -RESTRICT="!test? ( test )" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="+json test +threads" +IUSE="+json +threads" RDEPEND="dev-libs/gmp" DEPEND="${RDEPEND}" diff --git a/dev-lang/lean/lean-3.34.0.ebuild b/dev-lang/lean/lean-3.34.0.ebuild index 7fe835012d..95b6a56553 100644 --- a/dev-lang/lean/lean-3.34.0.ebuild +++ b/dev-lang/lean/lean-3.34.0.ebuild @@ -21,10 +21,9 @@ else fi S="${WORKDIR}/lean-${PV}/src" -RESTRICT="!test? ( test )" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="+json test +threads" +IUSE="+json +threads" RDEPEND="dev-libs/gmp" DEPEND="${RDEPEND}"