[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/

[Maciej Barć]

commit:     2ee1e61248295b696ed811bab7ac845e51a25f63
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu May 23 21:22:33 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=2ee1e612

sci-mathematics/coq: use edo instead of edob

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

 sci-mathematics/coq/coq-8.19.0.ebuild | 2 +-
 sci-mathematics/coq/coq-8.19.1.ebuild | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/coq/coq-8.19.0.ebuild 
b/sci-mathematics/coq/coq-8.19.0.ebuild
index 34fb7a688efa..bd6df0374602 100644
--- a/sci-mathematics/coq/coq-8.19.0.ebuild
+++ b/sci-mathematics/coq/coq-8.19.0.ebuild
@@ -90,7 +90,7 @@ src_configure() {
                -native-compiler "$(usex ocamlopt yes no)"
        )
        use debug && myconf+=( -debug )
-       edob sh ./configure "${myconf[@]}"
+       edo sh ./configure "${myconf[@]}"
 }
 
 src_compile() {

diff --git a/sci-mathematics/coq/coq-8.19.1.ebuild 
b/sci-mathematics/coq/coq-8.19.1.ebuild
index 33c2b23fecf7..a4d16f2c2b48 100644
--- a/sci-mathematics/coq/coq-8.19.1.ebuild
+++ b/sci-mathematics/coq/coq-8.19.1.ebuild
@@ -90,7 +90,7 @@ src_configure() {
                -native-compiler "$(usex ocamlopt yes no)"
        )
        use debug && myconf+=( -debug )
-       edob sh ./configure "${myconf[@]}"
+       edo sh ./configure "${myconf[@]}"
 }
 
 src_compile() {