diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:21:07 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:06 +0200 |
| commit | a98af1509eec18f68b78607369e145934e9c90f3 (patch) | |
| tree | e25b1d0984e8483d754ded7bb978d65a83b7e903 /dev-lang/boogie | |
| parent | dev-lang/boogie: bump to 3.1.6 (diff) | |
| download | gentoo-a98af1509eec18f68b78607369e145934e9c90f3.tar.gz gentoo-a98af1509eec18f68b78607369e145934e9c90f3.tar.bz2 gentoo-a98af1509eec18f68b78607369e145934e9c90f3.zip | |
dev-lang/boogie: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/boogie')
| -rw-r--r-- | dev-lang/boogie/boogie-3.1.4.ebuild | 2 | ||||
| -rw-r--r-- | 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() { |