diff options
Diffstat (limited to 'dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild')
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.8.4.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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() { : } |