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

[Maciej Barć]

commit:     33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May 23 21:28:58 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu May 23 22:08:08 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=33ec65bb

dev-lang/dafny: use edo instead of edob

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

 dev-lang/dafny/dafny-4.4.0-r1.ebuild | 2 +-
 dev-lang/dafny/dafny-4.5.0.ebuild    | 2 +-
 dev-lang/dafny/dafny-4.6.0.ebuild    | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild 
b/dev-lang/dafny/dafny-4.4.0-r1.ebuild
index 2fd7b19b0f00..4ec014fca8b0 100644
--- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild
+++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild
@@ -567,7 +567,7 @@ src_test() {
                --verbose
                --workers="$(makeopts_jobs)"
        )
-       edob lit "${lit_opts[@]}" "${TEST_S}"
+       edo lit "${lit_opts[@]}" "${TEST_S}"
 }
 
 src_install() {

diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild 
b/dev-lang/dafny/dafny-4.5.0.ebuild
index 601423b0fbfa..ad97276a1553 100644
--- a/dev-lang/dafny/dafny-4.5.0.ebuild
+++ b/dev-lang/dafny/dafny-4.5.0.ebuild
@@ -594,7 +594,7 @@ src_test() {
                --verbose
                --workers="$(makeopts_jobs)"
        )
-       edob lit "${lit_opts[@]}" "${TEST_S}"
+       edo lit "${lit_opts[@]}" "${TEST_S}"
 }
 
 src_install() {

diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild 
b/dev-lang/dafny/dafny-4.6.0.ebuild
index ca5c0f6861e7..2ec7748b03e7 100644
--- a/dev-lang/dafny/dafny-4.6.0.ebuild
+++ b/dev-lang/dafny/dafny-4.6.0.ebuild
@@ -597,7 +597,7 @@ src_test() {
                --verbose
                --workers="$(makeopts_jobs)"
        )
-       edob lit "${lit_opts[@]}" "${TEST_S}"
+       edo lit "${lit_opts[@]}" "${TEST_S}"
 }
 
 src_install() {