diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:28:58 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:08 +0200 |
| commit | 33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a (patch) | |
| tree | f53ff5302163781f72be61c3fdba1eee53b4be8e /dev-lang/dafny | |
| parent | dev-lang/dzaima-bqn: use edo instead of edob (diff) | |
| download | gentoo-33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a.tar.gz gentoo-33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a.tar.bz2 gentoo-33ec65bb3b4d993ecb83ac47e1a5996a1ccca19a.zip | |
dev-lang/dafny: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/dafny-4.4.0-r1.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 2 | ||||
| -rw-r--r-- | 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() { |