From 3c32aebedf8c9f1903afa239dccd3fa65758974a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
Date: Thu, 23 May 2024 23:25:45 +0200
Subject: [PATCH] sci-mathematics/proverif: use edo instead of edob
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 sci-mathematics/proverif/proverif-2.04-r1.ebuild | 6 +++---
 sci-mathematics/proverif/proverif-2.05.ebuild    | 6 +++---
 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 a70d69a747de9..9f2156ce655e8 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 3a6c80ee509e3..a537929ab0363 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 a70d69a747de9..9f2156ce655e8 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() {