diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:25:45 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:07 +0200 |
| commit | 3c32aebedf8c9f1903afa239dccd3fa65758974a (patch) | |
| tree | 54d9f1070529e6142c4902661d08ff40f9c22fa8 /sci-mathematics | |
| parent | sci-mathematics/coq: use edo instead of edob (diff) | |
| download | gentoo-3c32aebedf8c9f1903afa239dccd3fa65758974a.tar.gz gentoo-3c32aebedf8c9f1903afa239dccd3fa65758974a.tar.bz2 gentoo-3c32aebedf8c9f1903afa239dccd3fa65758974a.zip | |
sci-mathematics/proverif: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/proverif/proverif-2.04-r1.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/proverif/proverif-2.05.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/proverif/proverif-9999.ebuild | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/sci-mathematics/proverif/proverif-2.04-r1.ebuild b/sci-mathematics/proverif/proverif-2.04-r1.ebuild index a70d69a747de..9f2156ce655e 100644 --- a/sci-mathematics/proverif/proverif-2.04-r1.ebuild +++ b/sci-mathematics/proverif/proverif-2.04-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual ) SITEFILE="50${PN}-gentoo.el" src_compile() { - edob sh ./build -nointeract + edo sh ./build -nointeract if use emacs ; then cd "${S}/emacs" || die @@ -47,7 +47,7 @@ src_compile() { } src_test() { - edob sh ./test + edo sh ./test } src_install() { diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild index 3a6c80ee509e..a537929ab036 100644 --- a/sci-mathematics/proverif/proverif-2.05.ebuild +++ b/sci-mathematics/proverif/proverif-2.05.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -37,7 +37,7 @@ DOCS=( CHANGES README ) SITEFILE="50${PN}-gentoo.el" src_compile() { - edob sh ./build -nointeract + edo sh ./build -nointeract if use emacs ; then cd "${S}/emacs" || die @@ -47,7 +47,7 @@ src_compile() { } src_test() { - edob sh ./test + edo sh ./test } src_install() { diff --git a/sci-mathematics/proverif/proverif-9999.ebuild b/sci-mathematics/proverif/proverif-9999.ebuild index a70d69a747de..9f2156ce655e 100644 --- a/sci-mathematics/proverif/proverif-9999.ebuild +++ b/sci-mathematics/proverif/proverif-9999.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -37,7 +37,7 @@ DOCS=( CHANGES README docs/dev docs/manual ) SITEFILE="50${PN}-gentoo.el" src_compile() { - edob sh ./build -nointeract + edo sh ./build -nointeract if use emacs ; then cd "${S}/emacs" || die @@ -47,7 +47,7 @@ src_compile() { } src_test() { - edob sh ./test + edo sh ./test } src_install() { |