diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild | 2 | ||||
| -rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild index acd4036fd3ae..a4ac4db266dd 100644 --- a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild @@ -103,6 +103,6 @@ src_prepare() { rm -r ${bad_tests[@]} || die "Failed to remove broken/inappropriate tests" } -src_configure(){ +src_configure() { : } diff --git a/dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild b/dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild index 56fd4108739d..61ca3646a68e 100644 --- a/dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild @@ -112,6 +112,6 @@ src_prepare() { rm -r ${bad_tests[@]} || die "Failed to remove broken/inappropriate tests" } -src_configure(){ +src_configure() { : } |