diff options
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() { |