Buildbot cruft: /opt/local/bin/mvn31

[Mojca Miklavec]

On Wed, Mar 18, 2015 at 7:30 AM, Mojca Miklavec <mojca at macports.org> wrote:
> On Wed, Mar 18, 2015 at 7:09 AM, Ryan Schmidt wrote:
>>
>> If these crufty files are present on the buildbot builders, then they are probably also present on the system of any user who installed the port.
>
> No, not necessarily. The files could also be present because of a
> failure on the buildbot.
>
> I'm not saying this is the case here, but it often is.

After reading the initial post again ("fix bug where a file is
installed outside of $destroot") I realized that you were right in
this case. Yes, the fix should stay in the Portfile.

Mojca