[gentoo-commits] repo/gentoo:master commit in: dev-lang/boogie/

[Maciej Barć]

commit:     a98af1509eec18f68b78607369e145934e9c90f3
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May 23 21:21:07 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu May 23 22:08:06 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a98af150

dev-lang/boogie: use edo instead of edob

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/boogie/boogie-3.1.4.ebuild | 2 +-
 dev-lang/boogie/boogie-3.1.5.ebuild | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-lang/boogie/boogie-3.1.4.ebuild 
b/dev-lang/boogie/boogie-3.1.4.ebuild
index a8464716070a..ea97294fb5f6 100644
--- a/dev-lang/boogie/boogie-3.1.4.ebuild
+++ b/dev-lang/boogie/boogie-3.1.4.ebuild
@@ -292,7 +292,7 @@ src_test() {
                --verbose
                --workers="$(makeopts_jobs)"
        )
-       edob lit "${lit_opts[@]}" "${S}/Test"
+       edo lit "${lit_opts[@]}" "${S}/Test"
 }
 
 src_install() {

diff --git a/dev-lang/boogie/boogie-3.1.5.ebuild 
b/dev-lang/boogie/boogie-3.1.5.ebuild
index d7ab20c085a9..89031fd4016a 100644
--- a/dev-lang/boogie/boogie-3.1.5.ebuild
+++ b/dev-lang/boogie/boogie-3.1.5.ebuild
@@ -292,7 +292,7 @@ src_test() {
                --verbose
                --workers="$(makeopts_jobs)"
        )
-       edob lit "${lit_opts[@]}" "${S}/Test"
+       edo lit "${lit_opts[@]}" "${S}/Test"
 }
 
 src_install() {